diff options
| -rw-r--r-- | %APPDATA%/Sublime Text 3/Packages/User/Default (Windows).sublime-keymap | 6 | ||||
| -rw-r--r-- | %APPDATA%/Sublime Text 3/Packages/User/Preferences.sublime-settings | 35 | ||||
| -rw-r--r-- | %APPDATA%/ghc/ghci.conf | 9 | ||||
| -rw-r--r-- | .gitignore | 1 |
4 files changed, 51 insertions, 0 deletions
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 |