diff options
| author | xAlpharax <42233094+xAlpharax@users.noreply.github.com> | 2023-09-26 22:09:14 +0300 |
|---|---|---|
| committer | xAlpharax <42233094+xAlpharax@users.noreply.github.com> | 2023-09-26 22:09:14 +0300 |
| commit | 736cfe910493dd10f7730978f98988ff73786082 (patch) | |
| tree | d88d794c094d89169dd6484574d83c06b92568f8 /gummi/gummi.ini | |
| parent | d0fd698bcacc2c477a0149d2deb373722f45e214 (diff) | |
Modified useful scripts for the user space.
Changes to be committed:
modified: clip
modified: upload
modified: zsh/env
new file: color-picker
Changes not staged for commit:
modified: keybinds
Diffstat (limited to 'gummi/gummi.ini')
| -rw-r--r-- | gummi/gummi.ini | 55 |
1 files changed, 0 insertions, 55 deletions
diff --git a/gummi/gummi.ini b/gummi/gummi.ini deleted file mode 100644 index 1bb396d..0000000 --- a/gummi/gummi.ini +++ /dev/null @@ -1,55 +0,0 @@ -[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__ |