move Windows-specific stuff to .appdata/

3 files changed, 49 insertions, 0 deletions

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