As an experiment, I made the following changes in editablelabel.py:
- __init__(), line 48-ish: added a self._label.set_text("blah") just to get a default label (not necessary)
- set_text(), line 65-ish: removed the call to self._label.set_text(text).
Even with the titlebars switched on (the default) it becomes buggy with these changes.
Looks like setting the title label triggers a series of Gtk+ geometry recomputations which finally results in the correct layout; omitting this step optimizes away some recalculations and somehow certain Gtk+ events are then not acted upon immediately.
(At this point I cannot promise at all that I'll have time to continue investigating.)
As an experiment, I made the following changes in editablelabel.py:
- __init__(), line 48-ish: added a self._label. set_text( "blah") just to get a default label (not necessary)
- set_text(), line 65-ish: removed the call to self._label. set_text( text).
Even with the titlebars switched on (the default) it becomes buggy with these changes.
Looks like setting the title label triggers a series of Gtk+ geometry recomputations which finally results in the correct layout; omitting this step optimizes away some recalculations and somehow certain Gtk+ events are then not acted upon immediately.
(At this point I cannot promise at all that I'll have time to continue investigating.)