From 33e17b16374d3166a098e107c5f91ebce38f94f5 Mon Sep 17 00:00:00 2001 From: Egor Tensin Date: Mon, 19 Sep 2016 23:48:45 +0300 Subject: initial commit * Sublime Text 3 * GHCi --- .../Packages/User/Default (Windows).sublime-keymap | 6 ++++ .../Packages/User/Preferences.sublime-settings | 35 ++++++++++++++++++++++ %APPDATA%/ghc/ghci.conf | 9 ++++++ .gitignore | 1 + 4 files changed, 51 insertions(+) create mode 100644 %APPDATA%/Sublime Text 3/Packages/User/Default (Windows).sublime-keymap create mode 100644 %APPDATA%/Sublime Text 3/Packages/User/Preferences.sublime-settings create mode 100644 %APPDATA%/ghc/ghci.conf create mode 100644 .gitignore diff --git a/%APPDATA%/Sublime Text 3/Packages/User/Default (Windows).sublime-keymap b/%APPDATA%/Sublime Text 3/Packages/User/Default (Windows).sublime-keymap new file mode 100644 index 0000000..e64ad82 --- /dev/null +++ b/%APPDATA%/Sublime Text 3/Packages/User/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/Packages/User/Preferences.sublime-settings b/%APPDATA%/Sublime Text 3/Packages/User/Preferences.sublime-settings new file mode 100644 index 0000000..0132872 --- /dev/null +++ b/%APPDATA%/Sublime Text 3/Packages/User/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..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 diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..4178c44 --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +db.bin -- cgit v1.2.3