バグ #531 » a.diff
| core/plugin/settings/settings.rb (作業コピー) | ||
|---|---|---|
| 26 | 26 |
@window = nil |
| 27 | 27 |
false } |
| 28 | 28 | |
| 29 |
window.add(::Gtk::HPaned.new.add1(menu).add2(scrolled.add_with_viewport(settings))) end
|
|
| 29 |
scrolled_menu = ::Gtk::ScrolledWindow.new.set_policy(::Gtk::POLICY_NEVER, ::Gtk::POLICY_AUTOMATIC)
|
|
| 30 | 30 | |
| 31 |
window.add(::Gtk::HPaned.new.add1(scrolled_menu.add_with_viewport(menu)).add2(scrolled.add_with_viewport(settings))) end |
|
| 32 | ||
| 31 | 33 |
def menu_widget(widgets_dict) |
| 32 | 34 |
column = ::Gtk::TreeViewColumn.new("", ::Gtk::CellRendererText.new, text: 0)
|
| 33 | 35 |
menumodel = ::Gtk::ListStore.new(String, Integer) |