提案 #1563 » 0001-no-overlay-settings.patch
| plugin/settings_gtk/settings_gtk.rb | ||
|---|---|---|
| 21 | 21 | |
| 22 | 22 |
menu = Plugin::SettingsGtk::Menu.new |
| 23 | 23 |
settings = Gtk::Grid.new |
| 24 |
scrolled = Gtk::ScrolledWindow.new.set_hscrollbar_policy(:never) |
|
| 25 |
scrolled_menu = Gtk::ScrolledWindow.new.set_hscrollbar_policy(:never) |
|
| 24 |
scrolled = Gtk::ScrolledWindow.new |
|
| 25 |
scrolled.set_policy(:never, :automatic) |
|
| 26 |
scrolled.overlay_scrolling = false |
|
| 27 |
scrolled_menu = Gtk::ScrolledWindow.new |
|
| 28 |
scrolled_menu.set_policy(:never, :automatic) |
|
| 29 |
scrolled_menu.overlay_scrolling = false |
|
| 26 | 30 |
window.add(Gtk::Paned.new(:horizontal).add1(scrolled_menu.add_with_viewport(menu)).add2(scrolled.add_with_viewport(settings))) |
| 27 | 31 | |
| 28 | 32 |
menu.ssc(:cursor_changed) do |