The plugin manager, see Chapter 9, Installing and Using Plugins. Stores the list of open buffers and views used to maintainĭirectory is usually empty. See the section called “Transferring Text”.Ĭustom edit modes. Which can be defined from the Shortcuts Option Pane (see the section called “The Shortcuts Pane”).ĭeleted text. TheyĪre automatically updated when plugins are installed orĬontains collections of named keyboard shortcuts Plugin cache files which decrease the time to start jEdit. See Chapter 9, Installing and Using Plugins. See the section called “Transferring Text” and Appendix C, History Text Fields. Stores history lists, used by history text fields and the JEdit creates the following files and directories inside the Not look for or create a settings directory default settings will be The -nosettings switch will force jEdit to Store all settings in the jedit subdirectory of theĬ: drive: C:\jedit> jedit -settings=C:\jedit For example, the following command will instruct jEdit to Variable, $JEDIT_SETTINGS, to refer to that location.Ĭommand line instructs jEdit to store settings in a directory other than
Theįirst item in the pullout menu is the location of your settings directory.įrom Console or the File System Browser, you can use an environment Use the "Utilities" menu, then the "Settings Directory" menu item. For example: jEdit: Settings directory is /home/slava/.jeditĪnother way to find the location of your settings directory is to The location of the settings directory is system-specific The settings directory still comes in handy in certain situations, forĮxample when you want to copy jEdit settings between computers. However, being familiar with the structure of In most cases, editing theseįiles by hand is not necessary, since graphical tools and editorĬommands can do the job. JEdit stores settings, keymaps, macros, and plugins as files inside the
0 kommentar(er)
