プロジェクト

全般

プロフィール

提案 #1563 » 0001-no-overlay-settings.patch

Izumi Tsutsui, 2021-12-26 04:40

差分を表示:

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
    (1-1/1)