patch 8.2.1228: scrollbars not flush against the window edges when maximised
Problem: Scrollbars not flush against the window edges when maximised. Solution: Add padding. (Ken Takata, closes #5602, closes #6466)
Showing
- src/gui.c 4 additions, 2 deletionssrc/gui.c
- src/gui_athena.c 16 additions, 0 deletionssrc/gui_athena.c
- src/gui_gtk.c 16 additions, 0 deletionssrc/gui_gtk.c
- src/gui_haiku.cc 16 additions, 0 deletionssrc/gui_haiku.cc
- src/gui_mac.c 16 additions, 0 deletionssrc/gui_mac.c
- src/gui_motif.c 16 additions, 0 deletionssrc/gui_motif.c
- src/gui_photon.c 16 additions, 0 deletionssrc/gui_photon.c
- src/gui_w32.c 28 additions, 0 deletionssrc/gui_w32.c
- src/proto/gui_athena.pro 2 additions, 0 deletionssrc/proto/gui_athena.pro
- src/proto/gui_gtk.pro 2 additions, 0 deletionssrc/proto/gui_gtk.pro
- src/proto/gui_haiku.pro 2 additions, 0 deletionssrc/proto/gui_haiku.pro
- src/proto/gui_mac.pro 2 additions, 0 deletionssrc/proto/gui_mac.pro
- src/proto/gui_motif.pro 2 additions, 0 deletionssrc/proto/gui_motif.pro
- src/proto/gui_photon.pro 2 additions, 0 deletionssrc/proto/gui_photon.pro
- src/proto/gui_w32.pro 2 additions, 0 deletionssrc/proto/gui_w32.pro
- src/version.c 2 additions, 0 deletionssrc/version.c
Loading
Please register or sign in to comment