From 5e9b652a7782ebd07b69100d9ce234785bf38083 Mon Sep 17 00:00:00 2001 From: Egor Tensin Date: Thu, 20 Feb 2020 01:40:06 +0300 Subject: symlinks on Windows are a freaking pain I'll just update the relevant files from linux-home from now on, I think. --- .../Packages/User/Default.sublime-theme | 12 ++++++- .../Packages/User/Preferences.sublime-settings | 42 +++++++++++++++++++++- %APPDATA%/ghc/ghci.conf | 10 +++++- 3 files changed, 61 insertions(+), 3 deletions(-) mode change 120000 => 100644 %APPDATA%/Sublime Text 3/Packages/User/Default.sublime-theme mode change 120000 => 100644 %APPDATA%/Sublime Text 3/Packages/User/Preferences.sublime-settings mode change 120000 => 100644 %APPDATA%/ghc/ghci.conf (limited to '%APPDATA%') diff --git a/%APPDATA%/Sublime Text 3/Packages/User/Default.sublime-theme b/%APPDATA%/Sublime Text 3/Packages/User/Default.sublime-theme deleted file mode 120000 index 6e821ab..0000000 --- a/%APPDATA%/Sublime Text 3/Packages/User/Default.sublime-theme +++ /dev/null @@ -1 +0,0 @@ -../../../../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/Default.sublime-theme b/%APPDATA%/Sublime Text 3/Packages/User/Default.sublime-theme new file mode 100644 index 0000000..d212123 --- /dev/null +++ b/%APPDATA%/Sublime Text 3/Packages/User/Default.sublime-theme @@ -0,0 +1,11 @@ +[ + { + "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 deleted file mode 120000 index 18a25dd..0000000 --- a/%APPDATA%/Sublime Text 3/Packages/User/Preferences.sublime-settings +++ /dev/null @@ -1 +0,0 @@ -../../../../linux-home/%HOME%/.config/sublime-text-3/Packages/User/Preferences.sublime-settings \ 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 new file mode 100644 index 0000000..5b6e471 --- /dev/null +++ b/%APPDATA%/Sublime Text 3/Packages/User/Preferences.sublime-settings @@ -0,0 +1,41 @@ +{ + "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 deleted file mode 120000 index a71f301..0000000 --- a/%APPDATA%/ghc/ghci.conf +++ /dev/null @@ -1 +0,0 @@ -../../linux-home/%HOME%/.ghci \ No newline at end of file diff --git a/%APPDATA%/ghc/ghci.conf b/%APPDATA%/ghc/ghci.conf new file mode 100644 index 0000000..0cb900e --- /dev/null +++ b/%APPDATA%/ghc/ghci.conf @@ -0,0 +1,9 @@ +:set prompt "> " +:set prompt2 "" + +:seti -w + +:def hoogle \x -> return $ ":!hoogle \"" ++ x ++ "\"" + +:set -XOverloadedStrings +:set -XTupleSections -- cgit v1.2.3