* @author $author$
* @version $Revision$
*/
+@SuppressWarnings("serial")
public class GDesktop extends JFrame
{
- public static javax.swing.JTabbedPane createTabbedPane()
- {
- // now just always return JTabbedPane
- return new javax.swing.JTabbedPane();
-// // BH 2018 coercing jalview.jbgui.swing.JTabbedPane() for now
-// if (/** @j2sNative false && */
-// true)
-// {
-// // Java
-// return new javax.swing.JTabbedPane();
-// }
-// // JavaScript
-// return (javax.swing.JTabbedPane) (Object) new jalview.jbgui.swing.JTabbedPane();
- }
-
-
protected static JMenu windowMenu = new JMenu();
JMenuBar desktopMenubar = new JMenuBar();
*/
private void jbInit() throws Exception
{
-
+ setName("jalview-desktop");
FileMenu.setText(MessageManager.getString("action.file"));
HelpMenu.setText(MessageManager.getString("action.help"));
VamsasMenu.setText("Vamsas");