バグ #672 » 0001-636.patch
| core/plugin/command/command.rb | ||
|---|---|---|
|
icon: Skin.get("close.png"),
|
||
|
role: :tab) do |opt|
|
||
|
opt.widget.destroy
|
||
|
Plugin.call(:rewind_window_order, opt.widget.ancestor_of(Plugin::GUI::Window))
|
||
|
end
|
||
|
command(:focus_right_tab,
|
||
| core/plugin/gtk/gtk.rb | ||
|---|---|---|
|
if pane
|
||
|
pane.n_pages.times{ |pagenum|
|
||
|
if widget == pane.get_tab_label(pane.get_nth_page(pagenum))
|
||
|
Plugin.call(:rewind_window_order, i_widget.parent.parent)
|
||
|
pane.remove_page(pagenum)
|
||
|
break end } end
|
||
|
else
|
||