1 | private String getShortcut()↵ | | 1 | private String getShortcut()↵
|
2 | {↵ | | 2 | {↵
|
3 | if(action == null)↵ | | 3 | if(action == null)↵
|
4 | return null;↵ | | 4 | return null;↵
|
5 | else↵ | | 5 | else↵
|
6 | {↵ | | 6 | {↵
|
7 | String shortcut1 = jEdit.getProperty(action + ".shortcut");↵ | | 7 | String shortcut1 = jEdit.getProperty(action + ".shortcut");↵
|
8 | String shortcut2 = jEdit.getProperty(action + ".shortcut2");↵ | | 8 | String shortcut2 = jEdit.getProperty(action + ".shortcut2");↵
|
|
9 | if(shortcut1 == null || shortcut1.length() == 0)↵ | | 9 | if(shortcut1 == null || shortcut1.length() == 0)↵
|
10 | {↵ | | 10 | {↵
|
11 | if(shortcut2 == null || shortcut2.length() == 0)↵ | | 11 | if(shortcut2 == null || shortcut2.length() == 0)↵
|
12 | return null;↵ | | 12 | return null;↵
|
13 | else↵ | | 13 | else↵
|
14 | return shortcut2;↵ | | 14 | return shortcut2;↵
|
15 | }↵ | | 15 | }↵
|
16 | else↵ | | 16 | else↵
|
17 | {↵ | | 17 | {↵
|
18 | if(shortcut2 == null || shortcut2.length() == 0)↵ | | 18 | if(shortcut2 == null || shortcut2.length() == 0)↵
|
19 | return shortcut1;↵ | | 19 | return shortcut1;↵
|
20 | else↵ | | 20 | else↵
|
21 | return shortcut1 + " or " + shortcut2;↵ | | 21 | return shortcut1 + " or " + shortcut2;↵
|
22 | | | 22 |
|