Returns the file in which to load and save user-customized keyboard shortcuts. @return The shortcuts file.
()
| 681 | * @return The shortcuts file. |
| 682 | */ |
| 683 | private static File getShortcutsFile() { |
| 684 | return new File(RTextUtilities.getPreferencesDirectory(), |
| 685 | "shortcuts.properties"); |
| 686 | } |
| 687 | |
| 688 | |
| 689 | /** |
no test coverage detected