機能 #1186 » world-shifter-tooltips.diff
| core/plugin/gtk/world_shifter.rb | ||
|---|---|---|
| 32 | 32 |
item.set_image Gtk::WebIcon.new(world.icon, UserConfig[:gtk_accountbox_geometry], UserConfig[:gtk_accountbox_geometry]) |
| 33 | 33 |
item.ssc(:activate) { |w|
|
| 34 | 34 |
Plugin.call(:world_change_current, world) |
| 35 |
@tips.set_tip(@face, world.title, nil) |
|
| 35 | 36 |
false } |
| 36 | 37 |
menu.append item |
| 37 | 38 |
end |
| ... | ... | |
| 108 | 109 |
@face = Gtk::Image.new(Skin['loading.png'].pixbuf(width: UserConfig[:gtk_accountbox_geometry], height: UserConfig[:gtk_accountbox_geometry])) |
| 109 | 110 |
self.add(@face).show_all |
| 110 | 111 |
end |
| 112 |
if not @tips |
|
| 113 |
world, = Plugin.filtering(:world_current, nil) |
|
| 114 |
@tips = Gtk::Tooltips.new() |
|
| 115 |
@tips.set_tip(@face, world.title, nil) |
|
| 116 |
end |
|
| 111 | 117 |
end |
| 112 | 118 | |
| 113 | 119 |
def remove_face_widget_ifn |