diff options
Diffstat (limited to '')
-rw-r--r--[l---------] | %APPDATA%/Sublime Text 3/Packages/User/Default.sublime-theme | 12 | ||||
-rw-r--r--[l---------] | %APPDATA%/Sublime Text 3/Packages/User/Preferences.sublime-settings | 42 | ||||
-rw-r--r--[l---------] | %APPDATA%/ghc/ghci.conf | 10 |
3 files changed, 61 insertions, 3 deletions
diff --git a/%APPDATA%/Sublime Text 3/Packages/User/Default.sublime-theme b/%APPDATA%/Sublime Text 3/Packages/User/Default.sublime-theme index 6e821ab..d212123 120000..100644 --- a/%APPDATA%/Sublime Text 3/Packages/User/Default.sublime-theme +++ b/%APPDATA%/Sublime Text 3/Packages/User/Default.sublime-theme @@ -1 +1,11 @@ -../../../../linux-home/%HOME%/.config/sublime-text-3/Packages/User/Default.sublime-theme
\ No newline at end of file +[ + { + "class": "sidebar_label", + "font.bold": false, + "font.size": 13, + }, + { + "class": "tab_label", + "font.size": 13, + }, +] diff --git a/%APPDATA%/Sublime Text 3/Packages/User/Preferences.sublime-settings b/%APPDATA%/Sublime Text 3/Packages/User/Preferences.sublime-settings index 18a25dd..5b6e471 120000..100644 --- a/%APPDATA%/Sublime Text 3/Packages/User/Preferences.sublime-settings +++ b/%APPDATA%/Sublime Text 3/Packages/User/Preferences.sublime-settings @@ -1 +1,41 @@ -../../../../linux-home/%HOME%/.config/sublime-text-3/Packages/User/Preferences.sublime-settings
\ No newline at end of file +{ + "always_show_minimap_viewport": true, + "auto_complete_commit_on_tab": true, + "auto_match_enabled": false, + "color_scheme": "Packages/Color Scheme - Default/Dawn.tmTheme", + "detect_indentation": false, + "draw_indent_guides": false, + "draw_minimap_border": true, + "ensure_newline_at_eof_on_save": true, + "fallback_encoding": "Cyrillic (Windows 1251)", + "folder_exclude_patterns": + [ + ".git", + "__pycache__" + ], + "font_options": + [ + "no_bold", + "no_italic" + ], + "font_size": 11, + "highlight_line": true, + "highlight_modified_tabs": true, + "hot_exit": false, + "remember_open_files": false, + "rulers": + [ + 79, + 99 + ], + "scroll_speed": 0, + "show_definitions": false, + "show_encoding": true, + "show_line_endings": true, + "smart_indent": false, + "theme": "Default.sublime-theme", + "translate_tabs_to_spaces": true, + "trim_trailing_white_space_on_save": true, + "update_check": false, + "word_wrap": false +} diff --git a/%APPDATA%/ghc/ghci.conf b/%APPDATA%/ghc/ghci.conf index a71f301..0cb900e 120000..100644 --- a/%APPDATA%/ghc/ghci.conf +++ b/%APPDATA%/ghc/ghci.conf @@ -1 +1,9 @@ -../../linux-home/%HOME%/.ghci
\ No newline at end of file +:set prompt "> " +:set prompt2 "" + +:seti -w + +:def hoogle \x -> return $ ":!hoogle \"" ++ x ++ "\"" + +:set -XOverloadedStrings +:set -XTupleSections |