(drwxrwxr-x) | 14-Apr-2026 06:15 | | ../ | |
(drwxrwxr-x) | 14-Apr-2026 06:15 | | media/ | |
(-rw-rw-r--) | 14-Apr-2026 06:15 | 118.6k | keybindingsEditor.js | |
(-rw-rw-r--) | 14-Apr-2026 06:15 | 24.5k | keybindingsEditorContribution.js | |
(-rw-rw-r--) | 14-Apr-2026 06:15 | 29.5k | keybindingWidgets.js | |
(-rw-rw-r--) | 14-Apr-2026 06:15 | 17.0k | keyboardLayoutPicker.js | |
(-rw-rw-r--) | 14-Apr-2026 06:15 | 124.4k | preferences.contribution.js | |
(-rw-rw-r--) | 14-Apr-2026 06:15 | 13.7k | preferencesActions.js | |
(-rw-rw-r--) | 14-Apr-2026 06:15 | 16.5k | preferencesEditor.js | |
(-rw-rw-r--) | 14-Apr-2026 06:15 | 4.1k | preferencesEditorRegistry.js | |
(-rw-rw-r--) | 14-Apr-2026 06:15 | 5.3k | preferencesIcons.js | |
(-rw-rw-r--) | 14-Apr-2026 06:15 | 88.3k | preferencesRenderers.js | |
(-rw-rw-r--) | 14-Apr-2026 06:15 | 49.1k | preferencesSearch.js | |
(-rw-rw-r--) | 14-Apr-2026 06:15 | 48.3k | preferencesWidgets.js | |
(-rw-rw-r--) | 14-Apr-2026 06:15 | 192.8k | settingsEditor2.js | |
(-rw-rw-r--) | 14-Apr-2026 06:15 | 63.3k | settingsEditorSettingIndicators.js | |
(-rw-rw-r--) | 14-Apr-2026 06:15 | 27.3k | settingsLayout.js | |
(-rw-rw-r--) | 14-Apr-2026 06:15 | 15.8k | settingsSearchMenu.js | |
(-rw-rw-r--) | 14-Apr-2026 06:15 | 235.3k | settingsTree.js | |
(-rw-rw-r--) | 14-Apr-2026 06:15 | 93.4k | settingsTreeModels.js | |
(-rw-rw-r--) | 14-Apr-2026 06:15 | 100.1k | settingsWidgets.js | |
(-rw-rw-r--) | 14-Apr-2026 06:15 | 18.3k | tocTree.js |