On Fri, 16 May 2014 11:53:13 -0400 Jacob Peck <gatesph...@gmail.com> wrote:
> This has been fixed as of commit 60d085a68b8a... > > It involves a dirty hack to force QT to redraw the tabs though. > Perhaps someone more versed in PyQt could fix up my code? In general, I think you should not just call the parent method, but return its value as well, i.e. return super(...) rather than just super(...) but I don't think that was the problem in this case, the problem here is that I don't understand super(). Specifically: https://docs.python.org/2/library/functions.html#super My reading of the text agrees with what you did, super(QtGui.QTabBar, self).mouseReleaseEvent(event) but the example code implies, to me, super(qtTabBarWrapper, self).mouseReleaseEvent(event) which seems like an annoying way of saying super(self.__class__, self).mouseReleaseEvent(event) which is also annoying and seems to have been cleaned up in 3.x So a minimal change to get the correct behavior without your hack triggering a redraw hack was - super(QtGui.QTabBar,self).mouseReleaseEvent(event) + super(qtTabBarWrapper,self).mouseReleaseEvent(event) but I haven't done this because I'm hoping someone will explain what seems to me like the contradiction between the text and example at https://docs.python.org/2/library/functions.html#super Cheers -Terry > Particularly the following bit: > https://github.com/leo-editor/leo-editor/blob/master/leo/plugins/qtGui.py#L7155-7163 > > Hope this helps! > -->Jake > > > On 5/16/2014 10:58 AM, Kent Tenney wrote: > > I have multiple Leo files open as tabs. I seem to recall > > being able to drag the tabs to reorder them, I am unable to. > > > > - am I remembering wrong? > > - is there a setting involved? > > > > * Ubuntu 14.04 current trunk * > > > > Thanks, > > Kent > > > -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.