K 25
svn:wc:ra_dav:version-url
V 66
/svnroot/jedit/!svn/ver/13635/jEdit/trunk/org/gjt/sp/jedit/options
END
ToolBarOptionPane.java
K 25
svn:wc:ra_dav:version-url
V 89
/svnroot/jedit/!svn/ver/12635/jEdit/trunk/org/gjt/sp/jedit/options/ToolBarOptionPane.java
END
FirewallOptionPane.java
K 25
svn:wc:ra_dav:version-url
V 90
/svnroot/jedit/!svn/ver/12504/jEdit/trunk/org/gjt/sp/jedit/options/FirewallOptionPane.java
END
BrowserColorsOptionPane.java
K 25
svn:wc:ra_dav:version-url
V 95
/svnroot/jedit/!svn/ver/12504/jEdit/trunk/org/gjt/sp/jedit/options/BrowserColorsOptionPane.java
END
StatusBarOptionPane.java
K 25
svn:wc:ra_dav:version-url
V 91
/svnroot/jedit/!svn/ver/12858/jEdit/trunk/org/gjt/sp/jedit/options/StatusBarOptionPane.java
END
EncodingsOptionPane.java
K 25
svn:wc:ra_dav:version-url
V 91
/svnroot/jedit/!svn/ver/12906/jEdit/trunk/org/gjt/sp/jedit/options/EncodingsOptionPane.java
END
BufferOptionPane.java
K 25
svn:wc:ra_dav:version-url
V 88
/svnroot/jedit/!svn/ver/12908/jEdit/trunk/org/gjt/sp/jedit/options/BufferOptionPane.java
END
GutterOptionPane.java
K 25
svn:wc:ra_dav:version-url
V 88
/svnroot/jedit/!svn/ver/12504/jEdit/trunk/org/gjt/sp/jedit/options/GutterOptionPane.java
END
ViewOptionPane.java
K 25
svn:wc:ra_dav:version-url
V 86
/svnroot/jedit/!svn/ver/13635/jEdit/trunk/org/gjt/sp/jedit/options/ViewOptionPane.java
END
GeneralOptionPane.java
K 25
svn:wc:ra_dav:version-url
V 89
/svnroot/jedit/!svn/ver/13288/jEdit/trunk/org/gjt/sp/jedit/options/GeneralOptionPane.java
END
PluginOptions.java
K 25
svn:wc:ra_dav:version-url
V 85
/svnroot/jedit/!svn/ver/12504/jEdit/trunk/org/gjt/sp/jedit/options/PluginOptions.java
END
TextAreaOptionPane.java
K 25
svn:wc:ra_dav:version-url
V 90
/svnroot/jedit/!svn/ver/13048/jEdit/trunk/org/gjt/sp/jedit/options/TextAreaOptionPane.java
END
IconTheme.java
K 25
svn:wc:ra_dav:version-url
V 81
/svnroot/jedit/!svn/ver/12504/jEdit/trunk/org/gjt/sp/jedit/options/IconTheme.java
END
DockingOptionPane.java
K 25
svn:wc:ra_dav:version-url
V 89
/svnroot/jedit/!svn/ver/13340/jEdit/trunk/org/gjt/sp/jedit/options/DockingOptionPane.java
END
GlobalOptions.java
K 25
svn:wc:ra_dav:version-url
V 85
/svnroot/jedit/!svn/ver/12504/jEdit/trunk/org/gjt/sp/jedit/options/GlobalOptions.java
END
package.html
K 25
svn:wc:ra_dav:version-url
V 78
/svnroot/jedit/!svn/ver/3958/jEdit/trunk/org/gjt/sp/jedit/options/package.html
END
EditingOptionPane.java
K 25
svn:wc:ra_dav:version-url
V 89
/svnroot/jedit/!svn/ver/12907/jEdit/trunk/org/gjt/sp/jedit/options/EditingOptionPane.java
END
BrowserOptionPane.java
K 25
svn:wc:ra_dav:version-url
V 89
/svnroot/jedit/!svn/ver/12504/jEdit/trunk/org/gjt/sp/jedit/options/BrowserOptionPane.java
END
ContextOptionPane.java
K 25
svn:wc:ra_dav:version-url
V 89
/svnroot/jedit/!svn/ver/12504/jEdit/trunk/org/gjt/sp/jedit/options/ContextOptionPane.java
END
AbbrevsOptionPane.java
K 25
svn:wc:ra_dav:version-url
V 89
/svnroot/jedit/!svn/ver/12909/jEdit/trunk/org/gjt/sp/jedit/options/AbbrevsOptionPane.java
END
SaveBackupOptionPane.java
K 25
svn:wc:ra_dav:version-url
V 92
/svnroot/jedit/!svn/ver/13514/jEdit/trunk/org/gjt/sp/jedit/options/SaveBackupOptionPane.java
END
SyntaxHiliteOptionPane.java
K 25
svn:wc:ra_dav:version-url
V 94
/svnroot/jedit/!svn/ver/12911/jEdit/trunk/org/gjt/sp/jedit/options/SyntaxHiliteOptionPane.java
END
MouseOptionPane.java
K 25
svn:wc:ra_dav:version-url
V 87
/svnroot/jedit/!svn/ver/12504/jEdit/trunk/org/gjt/sp/jedit/options/MouseOptionPane.java
END
PluginManagerOptionPane.java
K 25
svn:wc:ra_dav:version-url
V 95
/svnroot/jedit/!svn/ver/12504/jEdit/trunk/org/gjt/sp/jedit/options/PluginManagerOptionPane.java
END
mirrors.dtd
K 25
svn:wc:ra_dav:version-url
V 77
/svnroot/jedit/!svn/ver/4560/jEdit/trunk/org/gjt/sp/jedit/options/mirrors.dtd
END
PrintOptionPane.java
K 25
svn:wc:ra_dav:version-url
V 87
/svnroot/jedit/!svn/ver/12504/jEdit/trunk/org/gjt/sp/jedit/options/PrintOptionPane.java
END
ShortcutsOptionPane.java
K 25
svn:wc:ra_dav:version-url
V 91
/svnroot/jedit/!svn/ver/12949/jEdit/trunk/org/gjt/sp/jedit/options/ShortcutsOptionPane.java
END
AppearanceOptionPane.java
K 25
svn:wc:ra_dav:version-url
V 92
/svnroot/jedit/!svn/ver/13340/jEdit/trunk/org/gjt/sp/jedit/options/AppearanceOptionPane.java
END
