scrolltip-enable-opt.patch

   1 Subject: scrolltips, disable it again
   2
   3 ---
   4
   5  source/preferences.c |    7 +++----
   6  1 file changed, 3 insertions(+), 4 deletions(-)
   7
   8 diff --quilt old/source/preferences.c new/source/preferences.c
   9 --- old/source/preferences.c
  10 +++ new/source/preferences.c
  11 @@ -1200,8 +1200,8 @@ static PrefDescripRec PrefDescrip[] = {
  12              &PrefData.honorSymlinks, NULL, False},
  13      {"showCursorline", "ShowCursorline", PREF_BOOLEAN, "True",
  14          &PrefData.showCursorline, NULL, True},
  15 -//    {"showScrolltip", "ShowScrolltip", PREF_BOOLEAN, "True",
  16 -//        &PrefData.showScrolltip, NULL, False},
  17 +    {"showScrolltip", "ShowScrolltip", PREF_BOOLEAN, "True",
  18 +        &PrefData.showScrolltip, NULL, False},
  19      {"hardlinkMode", "HardlinkMode", PREF_ENUM, "Ignore",
  20              &PrefData.hardlinkMode, HardlinkModes, True},
  21      {"zeroSizedMode", "ZeroSizedMode", PREF_ENUM, "Never",
  22 @@ -2428,8 +2428,7 @@ Boolean GetPrefShowCursorline(void)
  23
  24  Boolean GetPrefShowScrolltip(void)
  25  {
  26 -    //return PrefData.showScrolltip;
  27 -    return True;
  28 +    return PrefData.showScrolltip;
  29  }
  30
  31  void SetPrefHardlinkMode(int mode)