package org.latexlab.docs.client.content.menus;
import org.latexlab.docs.client.commands.SystemPasteCommand;
import org.latexlab.docs.client.content.latex.LatexCommand;
import org.latexlab.docs.client.content.latex.LatexCommandSet;
import org.latexlab.docs.client.content.latex.SetFontFamily;
import org.latexlab.docs.client.widgets.DynamicMenuBar;
import com.google.gwt.core.client.GWT;
import com.google.gwt.core.client.RunAsyncCallback;
import com.google.gwt.user.client.rpc.AsyncCallback;
/**
* Contains a LaTeX Font Family menu with on-demand loading.
*/
public class DynamicLatexFontFamilyMenu extends DynamicMenuBar {
protected static DynamicLatexFontFamilyMenu instance;
/**
* Retrieves the single instance of this class.
*/
public static DynamicLatexFontFamilyMenu get() {
if (instance == null) {
instance = new DynamicLatexFontFamilyMenu();
}
return instance;
}
/**
* Constructs a latex font family menu.
*/
protected DynamicLatexFontFamilyMenu() {
super(true);
}
/**
* Asynchronously loads the MenuBar's sub items.
*
* @param callback the callback carrying the sub items
*/
@Override
protected void getSubMenu(final AsyncCallback<ExtendedMenuItem[]> callback) {
GWT.runAsync(new RunAsyncCallback() {
@Override
public void onFailure(Throwable reason) {
callback.onFailure(reason);
}
@Override
public void onSuccess() {
LatexCommandSet set = SetFontFamily.get();
LatexCommand[] cmds = set.getCommands();
ExtendedMenuItem[] items = new ExtendedMenuItem[cmds.length];
for (int i=0; i<cmds.length; i++) {
LatexCommand cmd = cmds[i];
items[i] = new ExtendedMenuItem(cmd.getIcon(), cmd.getTitle(), new SystemPasteCommand(cmd.getText()));
}
callback.onSuccess(items);
}
});
}
}