Ubuntu
gedit package

  1. Bug #995844
  2. Comment #12

Comment 12 for bug 995844

Revision history for this message
jeremy-list (quick-dudley) wrote :

Thanks August! I'm glad to finally be rid of the overlay scrollbars: I find them the opposite of user-friendly.