blob: a654cc15bef0752de5851587019780cf20037047 (
plain)
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
31
32
33
34
35
36
37
38
39
40
41
42
43
|
if PLAT_GTK
position.left=0
position.top=0
position.width=1015
position.height=717
minimize.to.tray=1
horizontal.scrollbar=1
horizontal.scroll.width=700
tabbar.visible=1
statusbar.visible=1
check.if.already.open=1
tabsize=3
indent.size=3
autocompleteword.automatic=1
# if you want to be able to edit Unicode files, uncomment this:
#code.page=65001
#LC_CTYPE=en_US.UTF-8
if PLAT_GTK
font.base=font:!Bitstream Vera Sans Mono,size:12
# font.base=font:Arial,size:12
font.small=$(font.base)
font.comment=$(font.base)
font.code.comment.box=$(font.comment)
font.code.comment.line=$(font.comment)
font.code.comment.doc=$(font.comment)
font.text=$(font.base)
font.text.comment=$(font.base)
font.embedded.base=$(font.base)
font.embedded.comment=$(font.base)
font.monospace=$(font.base)
font.vbs=$(font.base)
font.js=$(font.comment)
comment.block.hypertext=//~
comment.block.sql=--~
xml.auto.close.tags=1
|
