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