author | wenzelm |
Mon, 07 Dec 2009 22:59:48 +0100 | |
changeset 34753 | dd8bdcb7dcba |
parent 34725 | 43b02b4c8e0b |
child 34760 | dc7f5e0d9d27 |
permissions | -rw-r--r-- |
34334 | 1 |
#jEdit properties |
34702 | 2 |
buffer.deepIndent=false |
3 |
buffer.encoding=UTF-8-Isabelle |
|
4 |
buffer.indentSize=2 |
|
5 |
buffer.lineSeparator=\n |
|
6 |
buffer.maxLineLen=100 |
|
7 |
buffer.noTabs=true |
|
8 |
buffer.sidekick.keystroke-parse=true |
|
9 |
buffer.tabSize=2 |
|
10 |
delete-line.shortcut=A+d |
|
11 |
delete.shortcut2=C+d |
|
34626 | 12 |
encoding.opt-out.Big5-HKSCS=true |
13 |
encoding.opt-out.Big5=true |
|
14 |
encoding.opt-out.COMPOUND_TEXT=true |
|
15 |
encoding.opt-out.EUC-JP=true |
|
16 |
encoding.opt-out.EUC-KR=true |
|
17 |
encoding.opt-out.GB18030=true |
|
18 |
encoding.opt-out.GB2312=true |
|
19 |
encoding.opt-out.GBK=true |
|
20 |
encoding.opt-out.IBM-Thai=true |
|
21 |
encoding.opt-out.IBM00858=true |
|
22 |
encoding.opt-out.IBM01140=true |
|
23 |
encoding.opt-out.IBM01141=true |
|
24 |
encoding.opt-out.IBM01142=true |
|
25 |
encoding.opt-out.IBM01143=true |
|
26 |
encoding.opt-out.IBM01144=true |
|
27 |
encoding.opt-out.IBM01145=true |
|
28 |
encoding.opt-out.IBM01146=true |
|
29 |
encoding.opt-out.IBM01147=true |
|
30 |
encoding.opt-out.IBM01148=true |
|
31 |
encoding.opt-out.IBM01149=true |
|
32 |
encoding.opt-out.IBM037=true |
|
33 |
encoding.opt-out.IBM1026=true |
|
34 |
encoding.opt-out.IBM1047=true |
|
35 |
encoding.opt-out.IBM273=true |
|
36 |
encoding.opt-out.IBM277=true |
|
37 |
encoding.opt-out.IBM278=true |
|
38 |
encoding.opt-out.IBM280=true |
|
39 |
encoding.opt-out.IBM284=true |
|
40 |
encoding.opt-out.IBM285=true |
|
41 |
encoding.opt-out.IBM297=true |
|
42 |
encoding.opt-out.IBM420=true |
|
43 |
encoding.opt-out.IBM424=true |
|
44 |
encoding.opt-out.IBM437=true |
|
45 |
encoding.opt-out.IBM500=true |
|
46 |
encoding.opt-out.IBM775=true |
|
47 |
encoding.opt-out.IBM850=true |
|
48 |
encoding.opt-out.IBM852=true |
|
49 |
encoding.opt-out.IBM855=true |
|
50 |
encoding.opt-out.IBM857=true |
|
51 |
encoding.opt-out.IBM860=true |
|
52 |
encoding.opt-out.IBM861=true |
|
53 |
encoding.opt-out.IBM862=true |
|
54 |
encoding.opt-out.IBM863=true |
|
55 |
encoding.opt-out.IBM864=true |
|
56 |
encoding.opt-out.IBM865=true |
|
57 |
encoding.opt-out.IBM866=true |
|
58 |
encoding.opt-out.IBM868=true |
|
59 |
encoding.opt-out.IBM869=true |
|
60 |
encoding.opt-out.IBM870=true |
|
61 |
encoding.opt-out.IBM871=true |
|
62 |
encoding.opt-out.IBM918=true |
|
63 |
encoding.opt-out.ISO-2022-CN=true |
|
64 |
encoding.opt-out.ISO-2022-JP-2=true |
|
65 |
encoding.opt-out.ISO-2022-JP=true |
|
66 |
encoding.opt-out.ISO-2022-KR=true |
|
67 |
encoding.opt-out.ISO-8859-13=true |
|
68 |
encoding.opt-out.ISO-8859-2=true |
|
69 |
encoding.opt-out.ISO-8859-3=true |
|
70 |
encoding.opt-out.ISO-8859-4=true |
|
71 |
encoding.opt-out.ISO-8859-5=true |
|
72 |
encoding.opt-out.ISO-8859-6=true |
|
73 |
encoding.opt-out.ISO-8859-7=true |
|
74 |
encoding.opt-out.ISO-8859-8=true |
|
75 |
encoding.opt-out.ISO-8859-9=true |
|
76 |
encoding.opt-out.JIS_X0201=true |
|
77 |
encoding.opt-out.JIS_X0212-1990=true |
|
78 |
encoding.opt-out.KOI8-R=true |
|
79 |
encoding.opt-out.KOI8-U=true |
|
80 |
encoding.opt-out.Shift_JIS=true |
|
81 |
encoding.opt-out.TIS-620=true |
|
82 |
encoding.opt-out.UTF-16=true |
|
83 |
encoding.opt-out.UTF-16BE=true |
|
84 |
encoding.opt-out.UTF-16LE=true |
|
85 |
encoding.opt-out.UTF-32=true |
|
86 |
encoding.opt-out.UTF-32BE=true |
|
87 |
encoding.opt-out.UTF-32LE=true |
|
88 |
encoding.opt-out.X-UTF-32BE-BOM=true |
|
89 |
encoding.opt-out.X-UTF-32LE-BOM=true |
|
90 |
encoding.opt-out.windows-1250=true |
|
91 |
encoding.opt-out.windows-1251=true |
|
92 |
encoding.opt-out.windows-1253=true |
|
93 |
encoding.opt-out.windows-1254=true |
|
94 |
encoding.opt-out.windows-1255=true |
|
95 |
encoding.opt-out.windows-1256=true |
|
96 |
encoding.opt-out.windows-1257=true |
|
97 |
encoding.opt-out.windows-1258=true |
|
98 |
encoding.opt-out.windows-31j=true |
|
99 |
encoding.opt-out.x-Big5-Solaris=true |
|
100 |
encoding.opt-out.x-EUC-TW=true |
|
101 |
encoding.opt-out.x-IBM1006=true |
|
102 |
encoding.opt-out.x-IBM1025=true |
|
103 |
encoding.opt-out.x-IBM1046=true |
|
104 |
encoding.opt-out.x-IBM1097=true |
|
105 |
encoding.opt-out.x-IBM1098=true |
|
106 |
encoding.opt-out.x-IBM1112=true |
|
107 |
encoding.opt-out.x-IBM1122=true |
|
108 |
encoding.opt-out.x-IBM1123=true |
|
109 |
encoding.opt-out.x-IBM1124=true |
|
110 |
encoding.opt-out.x-IBM1381=true |
|
111 |
encoding.opt-out.x-IBM1383=true |
|
112 |
encoding.opt-out.x-IBM33722=true |
|
113 |
encoding.opt-out.x-IBM737=true |
|
114 |
encoding.opt-out.x-IBM834=true |
|
115 |
encoding.opt-out.x-IBM856=true |
|
116 |
encoding.opt-out.x-IBM874=true |
|
117 |
encoding.opt-out.x-IBM875=true |
|
118 |
encoding.opt-out.x-IBM921=true |
|
119 |
encoding.opt-out.x-IBM922=true |
|
120 |
encoding.opt-out.x-IBM930=true |
|
121 |
encoding.opt-out.x-IBM933=true |
|
122 |
encoding.opt-out.x-IBM935=true |
|
123 |
encoding.opt-out.x-IBM937=true |
|
124 |
encoding.opt-out.x-IBM939=true |
|
125 |
encoding.opt-out.x-IBM942=true |
|
126 |
encoding.opt-out.x-IBM942C=true |
|
127 |
encoding.opt-out.x-IBM943=true |
|
128 |
encoding.opt-out.x-IBM943C=true |
|
129 |
encoding.opt-out.x-IBM948=true |
|
130 |
encoding.opt-out.x-IBM949=true |
|
131 |
encoding.opt-out.x-IBM949C=true |
|
132 |
encoding.opt-out.x-IBM950=true |
|
133 |
encoding.opt-out.x-IBM964=true |
|
134 |
encoding.opt-out.x-IBM970=true |
|
135 |
encoding.opt-out.x-ISCII91=true |
|
136 |
encoding.opt-out.x-ISO-2022-CN-CNS=true |
|
137 |
encoding.opt-out.x-ISO-2022-CN-GB=true |
|
138 |
encoding.opt-out.x-JIS0208=true |
|
139 |
encoding.opt-out.x-JISAutoDetect=true |
|
140 |
encoding.opt-out.x-Johab=true |
|
141 |
encoding.opt-out.x-MS932_0213=true |
|
142 |
encoding.opt-out.x-MS950-HKSCS=true |
|
143 |
encoding.opt-out.x-MacArabic=true |
|
144 |
encoding.opt-out.x-MacCentralEurope=true |
|
145 |
encoding.opt-out.x-MacCroatian=true |
|
146 |
encoding.opt-out.x-MacCyrillic=true |
|
147 |
encoding.opt-out.x-MacDingbat=true |
|
148 |
encoding.opt-out.x-MacGreek=true |
|
149 |
encoding.opt-out.x-MacHebrew=true |
|
150 |
encoding.opt-out.x-MacIceland=true |
|
151 |
encoding.opt-out.x-MacRoman=true |
|
152 |
encoding.opt-out.x-MacRomania=true |
|
153 |
encoding.opt-out.x-MacSymbol=true |
|
154 |
encoding.opt-out.x-MacThai=true |
|
155 |
encoding.opt-out.x-MacTurkish=true |
|
156 |
encoding.opt-out.x-MacUkraine=true |
|
157 |
encoding.opt-out.x-PCK=true |
|
158 |
encoding.opt-out.x-SJIS_0213=true |
|
159 |
encoding.opt-out.x-UTF-16LE-BOM=true |
|
160 |
encoding.opt-out.x-euc-jp-linux=true |
|
161 |
encoding.opt-out.x-eucJP-Open=true |
|
162 |
encoding.opt-out.x-iso-8859-11=true |
|
163 |
encoding.opt-out.x-mswin-936=true |
|
164 |
encoding.opt-out.x-windows-50220=true |
|
165 |
encoding.opt-out.x-windows-50221=true |
|
166 |
encoding.opt-out.x-windows-874=true |
|
167 |
encoding.opt-out.x-windows-949=true |
|
168 |
encoding.opt-out.x-windows-950=true |
|
169 |
encoding.opt-out.x-windows-iso2022jp=true |
|
34702 | 170 |
encodingDetectors=BOM XML-PI buffer-local-property |
34619
e89b6ec97910
added IsabelleEncoding -- a clone of utf-8 for now;
wenzelm
parents:
34613
diff
changeset
|
171 |
fallbackEncodings=UTF-8 ISO-8859-15 US-ASCII |
34512
14d70378f1c7
modified netbeans build such that dist can be used as settings-directory for jedit;
immler@in.tum.de
parents:
34425
diff
changeset
|
172 |
firstTime=false |
34702 | 173 |
isabelle-browser.dock-position=bottom |
174 |
isabelle-output.dock-position=bottom |
|
175 |
isabelle-state.dock-position=bottom |
|
176 |
isabelle.activate.shortcut=CS+ENTER |
|
177 |
mode.isabelle.sidekick.showStatusWindow.label=true |
|
178 |
sidekick-tree.dock-position=right |
|
179 |
sidekick.buffer-save-parse=true |
|
180 |
sidekick.complete-delay=300 |
|
34512
14d70378f1c7
modified netbeans build such that dist can be used as settings-directory for jedit;
immler@in.tum.de
parents:
34425
diff
changeset
|
181 |
tip.show=false |
34334 | 182 |
view.antiAlias=standard |
183 |
view.blockCaret=true |
|
184 |
view.caretBlink=false |
|
185 |
view.eolMarkers=false |
|
186 |
view.extendedState=0 |
|
34753 | 187 |
view.font=IsabelleText |
34334 | 188 |
view.fontsize=18 |
34725
43b02b4c8e0b
avoid fractional font metrics, which produces bad antialiasing with reletively new versions of jedit and java;
wenzelm
parents:
34702
diff
changeset
|
189 |
view.fracFontMetrics=false |
34334 | 190 |
view.gutter.fontsize=12 |
191 |
view.middleMousePaste=true |
|
192 |
view.showToolbar=false |