Lines 54-59
class MiroMozEmbed(gtkmozembed.MozEmbed):
Link Here
|
54 |
# if a site is deleted, which is not too often. |
54 |
# if a site is deleted, which is not too often. |
55 |
pass |
55 |
pass |
56 |
|
56 |
|
|
|
57 |
def do_realize(self): |
58 |
if not hasattr(self, 'mozembed_realized'): |
59 |
gtkmozembed.MozEmbed.do_realize(self) |
60 |
self.mozembed_realized = True |
61 |
else: |
62 |
self.set_flags(self.flags() | gtk.REALIZED) |
63 |
|
64 |
def do_unrealize(self): |
65 |
self.set_flags(self.flags() & ~gtk.REALIZED) |
66 |
|
57 |
gobject.type_register(MiroMozEmbed) |
67 |
gobject.type_register(MiroMozEmbed) |
58 |
|
68 |
|
59 |
class Browser(Widget): |
69 |
class Browser(Widget): |