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.
