jEdit Community - Resources for users of the jEdit Text Editor
saving options
Submitted by joed on Saturday, 2 June, 2007 - 19:35
I'm new to jedit. I change the global options (font etc.), edit files, and exit. When I bring up jedit again it has gone back the default options not mine. How do I make it save my options? I didn't see anything about saving options in faq or guide, so I assume it should be automatic. I'm using the latest on windows.
Comment viewing options
Select your preferred way to display the comments and click 'Save settings' to activate your changes.
automatic ...
by Robert Schwenn on Mon, 04/06/2007 - 21:07
Global options are really saved automatically to the file %userprofile%\.jedit\properties.

Saving will fail, if this file is opend in jEdit! If this was not the case, You should check Your rights to write to this directory...

Robert
User login
Browse archives
« November 2024  
MoTuWeThFrSaSu
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
 
Poll
Are you interested in language packs for jEdit?
Yes, and I could help maintain translations
26%
Yes, I'd like to have translations
32%
Indifferent
35%
No, that'd be bad (please comment)
7%
Total votes: 1093
Syndication
file   ver   dls
German Localization light   4.4.2.1   101634
Context Free Art (*.cfdg)   0.31   46062
BBEdit scheme   1.0   18601
JBuilder scheme   .001   18502
ColdFusion scheme   1.0   18031
R Edit Mode - extensive version   0.1   17481
Advanced HTML edit mode   1.0   16213
Matlab Edit Mode   1.0   16075
jEdit XP icons   1.0   15236
XP icons for jEdit   1.1   14300