diff options
Diffstat (limited to '')
l---------[-rw-r--r--] | %APPDATA%/Sublime Text 3/Packages/User/Default.sublime-theme | 12 | ||||
l---------[-rw-r--r--] | %APPDATA%/Sublime Text 3/Packages/User/Preferences.sublime-settings | 40 | ||||
l---------[-rw-r--r--] | %APPDATA%/ghc/ghci.conf | 10 |
3 files changed, 3 insertions, 59 deletions
diff --git a/%APPDATA%/Sublime Text 3/Packages/User/Default.sublime-theme b/%APPDATA%/Sublime Text 3/Packages/User/Default.sublime-theme index d212123..6e821ab 100644..120000 --- a/%APPDATA%/Sublime Text 3/Packages/User/Default.sublime-theme +++ b/%APPDATA%/Sublime Text 3/Packages/User/Default.sublime-theme @@ -1,11 +1 @@ -[ - { - "class": "sidebar_label", - "font.bold": false, - "font.size": 13, - }, - { - "class": "tab_label", - "font.size": 13, - }, -] +../../../../linux-home/%HOME%/.config/sublime-text-3/Packages/User/Default.sublime-theme
\ No newline at end of file diff --git a/%APPDATA%/Sublime Text 3/Packages/User/Preferences.sublime-settings b/%APPDATA%/Sublime Text 3/Packages/User/Preferences.sublime-settings index 84e37e7..18a25dd 100644..120000 --- a/%APPDATA%/Sublime Text 3/Packages/User/Preferences.sublime-settings +++ b/%APPDATA%/Sublime Text 3/Packages/User/Preferences.sublime-settings @@ -1,39 +1 @@ -{ - "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 - ], - "scroll_speed": 0, - "show_definitions": false, - "show_encoding": true, - "show_line_endings": true, - "smart_indent": false, - "translate_tabs_to_spaces": true, - "trim_trailing_white_space_on_save": true, - "update_check": false, - "word_wrap": false -} +../../../../linux-home/%HOME%/.config/sublime-text-3/Packages/User/Preferences.sublime-settings
\ No newline at end of file diff --git a/%APPDATA%/ghc/ghci.conf b/%APPDATA%/ghc/ghci.conf index 0cb900e..a71f301 100644..120000 --- a/%APPDATA%/ghc/ghci.conf +++ b/%APPDATA%/ghc/ghci.conf @@ -1,9 +1 @@ -:set prompt "> " -:set prompt2 "" - -:seti -w - -:def hoogle \x -> return $ ":!hoogle \"" ++ x ++ "\"" - -:set -XOverloadedStrings -:set -XTupleSections +../../linux-home/%HOME%/.ghci
\ No newline at end of file |