Loading ...
Sorry, an error occurred while loading the content.

Gap between scrollbar and window border on Windows

Expand Messages
  • char101
    Hi, In GVim windows, there is a gap between the scrollbars and the window border that changes size depending on the font size. I have somehow fix it by
    Message 1 of 1 , Feb 7, 2013
    • 0 Attachment
      Hi,

      In GVim windows, there is a gap between the scrollbars and the window border that changes size depending on the font size.

      I have somehow fix it by changing the base_width and base_height in gui.c (gui_get_base_width, gui_get_base_height). Still not sure where the 8 come from though, I got it from trial and error.

      --- a/src/gui.c Tue Aug 23 20:20:05 2011 -0500
      +++ b/src/gui.c Thu Feb 07 16:12:19 2013 +0700
      @@ -1368,6 +1368,10 @@
      int base_width;

      base_width = 2 * gui.border_offset;
      +#ifdef FEAT_GUI_MSWIN
      + if (! gui_mch_maximized())
      + base_width -= (gui.char_width < 8 ? 2 * gui.char_width : gui.char_width) - 8;
      +#endif
      if (gui.which_scrollbars[SBAR_LEFT])
      base_width += gui.scrollbar_width;
      if (gui.which_scrollbars[SBAR_RIGHT])
      @@ -1384,6 +1388,10 @@
      int base_height;

      base_height = 2 * gui.border_offset;
      +#ifdef FEAT_GUI_MSWIN
      + if (! gui_mch_maximized())
      + base_height -= (gui.char_height < 8 ? 2 * gui.char_height : gui.char_height) - 8;
      +#endif
      if (gui.which_scrollbars[SBAR_BOTTOM])
      base_height += gui.scrollbar_height;
      #ifdef FEAT_GUI_GTK

      --
      --
      You received this message from the "vim_dev" maillist.
      Do not top-post! Type your reply below the text you are replying to.
      For more information, visit http://www.vim.org/maillist.php

      ---
      You received this message because you are subscribed to the Google Groups "vim_dev" group.
      To unsubscribe from this group and stop receiving emails from it, send an email to vim_dev+unsubscribe@....
      For more options, visit https://groups.google.com/groups/opt_out.
    Your message has been successfully submitted and would be delivered to recipients shortly.