From 12f5535a178f74adac36237894ffe08e27b7d449 Mon Sep 17 00:00:00 2001 From: Egor Tensin Date: Wed, 17 Aug 2016 22:31:28 +0200 Subject: move Windows-specific stuff to .appdata/ --- .../Default (Windows).sublime-keymap | 6 ++++ .../Sublime Text 3/Preferences.sublime-settings | 35 ++++++++++++++++++++++ .appdata/ghc/ghci.conf | 8 +++++ 3 files changed, 49 insertions(+) create mode 100644 .appdata/Sublime Text 3/Default (Windows).sublime-keymap create mode 100644 .appdata/Sublime Text 3/Preferences.sublime-settings create mode 100644 .appdata/ghc/ghci.conf (limited to '.appdata') diff --git a/.appdata/Sublime Text 3/Default (Windows).sublime-keymap b/.appdata/Sublime Text 3/Default (Windows).sublime-keymap new file mode 100644 index 0000000..e64ad82 --- /dev/null +++ b/.appdata/Sublime Text 3/Default (Windows).sublime-keymap @@ -0,0 +1,6 @@ +[ + { "keys": ["f5"], "command": "revert" }, + + { "keys": ["alt+shift+up"], "command": "select_lines", "args": {"forward": false} }, + { "keys": ["alt+shift+down"], "command": "select_lines", "args": {"forward": true} }, +] diff --git a/.appdata/Sublime Text 3/Preferences.sublime-settings b/.appdata/Sublime Text 3/Preferences.sublime-settings new file mode 100644 index 0000000..0132872 --- /dev/null +++ b/.appdata/Sublime Text 3/Preferences.sublime-settings @@ -0,0 +1,35 @@ +{ + "always_show_minimap_viewport": true, + "auto_complete_commit_on_tab": true, + "color_scheme": "Packages/Color Scheme - Default/Dawn.tmTheme", + "detect_indentation": false, + "draw_indent_guides": false, + "draw_minimap_border": true, + "fallback_encoding": "Cyrillic (Windows 1251)", + "folder_exclude_patterns": + [ + ".git", + "__pycache__" + ], + "font_options": + [ + "no_italic", + "no_bold" + ], + "font_size": 11, + "highlight_line": true, + "highlight_modified_tabs": true, + "hot_exit": false, + "remember_open_files": false, + "rulers": + [ + 79 + ], + "scroll_speed": 0, + "show_encoding": true, + "show_line_endings": true, + "smart_indent": false, + "translate_tabs_to_spaces": true, + "trim_trailing_white_space_on_save": true, + "word_wrap": false +} diff --git a/.appdata/ghc/ghci.conf b/.appdata/ghc/ghci.conf new file mode 100644 index 0000000..45a1338 --- /dev/null +++ b/.appdata/ghc/ghci.conf @@ -0,0 +1,8 @@ +:set prompt "> " +:set prompt2 "" + +:seti -w + +:def hoogle \x -> return $ ":!hoogle \"" ++ x ++ "\"" + +:set -XOverloadedStrings -- cgit v1.2.3