change default HandleDPI=2 (#824)

mintty · Dec 5, 2018 · a28aa42 · a28aa42
1 parent 5d9da87
commit a28aa42
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/config.c b/src/config.c
@@ -182,7 +182,7 @@ const config default_cfg = {
   .row_spacing = 0,
   .padding = 1,
   .ligatures_support = 0,
-  .handle_dpichanged = true,
+  .handle_dpichanged = 2,
   .check_version_update = 900,
   .word_chars = "",
   .word_chars_excl = "",
@@ -415,7 +415,7 @@ options[] = {
   {"RowSpacing", OPT_INT, offcfg(row_spacing)},
   {"Padding", OPT_INT, offcfg(padding)},
   {"LigaturesSupport", OPT_INT, offcfg(ligatures_support)},
-  {"HandleDPI", OPT_BOOL, offcfg(handle_dpichanged)},
+  {"HandleDPI", OPT_INT, offcfg(handle_dpichanged)},
   {"CheckVersionUpdate", OPT_INT, offcfg(check_version_update)},
   {"WordChars", OPT_STRING, offcfg(word_chars)},
   {"WordCharsExcl", OPT_STRING, offcfg(word_chars_excl)},