1 | PluginsMenuButton()↵ | | 1 | FavoritesMenuButton()↵
|
2 | {↵ | | 2 | {↵
|
3 | setText(jEdit.getProperty("vfs.browser.plugins.label"));↵ | | 3 | setText(jEdit.getProperty("vfs.browser.favorites.label"));↵
|
4 | setIcon(GUIUtilities.loadIcon("ToolbarMenu.gif"));↵ | | 4 | setIcon(GUIUtilities.loadIcon("ToolbarMenu.gif"));↵
|
5 | setHorizontalTextPosition(SwingConstants.LEADING);↵ | | 5 | setHorizontalTextPosition(SwingConstants.LEADING);↵
|
|
6 | PluginsMenuButton.this.setRequestFocusEnabled(false);↵ | | 6 | FavoritesMenuButton.this.setRequestFocusEnabled(false);↵
|
7 | setMargin(new Insets(1,1,1,1));↵ | | 7 | setMargin(new Insets(1,1,1,1));↵
|
8 | PluginsMenuButton.this.addMouseListener(new MouseHandler());↵ | | 8 | FavoritesMenuButton.this.addMouseListener(new MouseHandler());↵
|
|
9 | if(OperatingSystem.isMacOSLF())↵ | | 9 | if(OperatingSystem.isMacOSLF())↵
|
10 | PluginsMenuButton.this.putClientProperty("JButton.buttonType","toolbar");↵ | | 10 | FavoritesMenuButton.this.putClientProperty("JButton.buttonType","toolbar");↵
|
11 | } //}}}↵ | | 11 | } //}}}↵
|
|
12 | JPopupMenu popup; | | 12 | JPopupMenu popup;
|