summaryrefslogtreecommitdiff
path: root/gummi/gummi.ini
blob: 1bb396d81b8cde6bea5b0339c94d46f4c1dc4662 (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
44
45
46
47
48
49
50
51
52
53
54
55
[General]
config_version=0.8.3

[Interface]
mainwindow_x=0
mainwindow_y=20
mainwindow_w=1920
mainwindow_h=1060
mainwindow_max=false
toolbar=true
statusbar=true
rightpane=true
snippets=true

[Editor]
font_str=Monospace 14
font_css=* { font-family: Monospace; font-size: 14px; }
line_numbers=true
highlighting=false
textwrapping=true
wordwrapping=true
tabwidth=4
spaces_instof_tabs=false
autoindentation=true
style_scheme=solarized-dark
spelling=false
spelling_lang=None

[Preview]
zoom_mode=Fit Page Width
pagelayout=one_column
autosync=false
animated_scroll=always
cache_size=150

[File]
autosaving=false
autosave_timer=10
autoexport=true

[Compile]
typesetter=latexmk
steps=texpdf
pause=false
scheme=on_idle
timer=1
shellescape=true
synctex=true

[Misc]
recent1=__NULL__
recent2=__NULL__
recent3=__NULL__
recent4=__NULL__
recent5=__NULL__