1 files changed, 55 insertions, 0 deletions
diff --git a/gummi/gummi.ini b/gummi/gummi.ini
new file mode 100644
index 0000000..1bb396d
--- /dev/null
+++ b/gummi/gummi.ini
@@ -0,0 +1,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__