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