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