1 | if(encodingMenuItems != null)↵ | | |
|
2 | {↵ | | |
|
3 | JRadioButtonMenuItem mi = (JRadioButtonMenuItem)↵ | | |
|
4 | encodingMenuItems.get(browser.currentEncoding);↵ | | |
|
| | | 1 | VFS.DirectoryEntry dirEntry = ((VFS.DirectoryEntry)obj);↵
|
| | | 2 | if(GUIUtilities.isPopupTrigger(evt))↵
|
| | | 3 | {↵
|
5 | if(mi != null)↵ | | 4 | if(popup != null↵
|
6 | {↵ | | |
|
7 | mi.setSelected(true);↵ | | |
|
8 | otherEncoding.setText(jEdit.getProperty(↵ | | |
|
9 | "vfs.browser.other-encoding.label"))↵ | | 5 | && popup.isVisible())↵
|
| | | 6 | {↵
|
| | | 7 | popup.setVisible(false);↵
|
10 | ;↵ | | 8 | popup = null;↵
|
11 | }↵ | | 9 | }↵
|
12 | else↵ | | 10 | else↵
|
13 | {↵ | | 11 | {↵
|
14 | otherEncoding.setSelected(true);↵ | | 12 | parentDirectories.setSelected↵
|
15 | otherEncoding.setText(jEdit.getProperty(↵ | | |
|
16 | "vfs.browser.other-encoding-2.label",↵ | | |
|
17 | new String[] { browser.currentEncoding }↵ | | 13 | Index(row);↵
|
| | | 14 | showFilePopup(new VFS.DirectoryEntry[] {↵
|
| | | 15 | dirEntry },parentDirectories,↵
|
18 | ));↵ | | 16 | evt.getPoint());↵
|
19 | }↵ | | 17 | }↵
|
20 | } | | 18 | }
|