-
This is with the released 0.99.0.
2009-09-22 20:32:26 UTC in matplotlib
-
Using the Cairo backend, I sometimes get this error from matplotlib/bezier.py:267
ValueError: The path does not seem to intersect with the patch
The attached patch handles the exception in matplotlib/patches.py similar to the way it's done elsewhere.
2009-09-22 20:31:46 UTC in matplotlib
-
Either having a tab-sort option or the current patch is fine by me, but since you did the work it's obviously your choice whether to keep the current patch or make a new one :-)
2009-08-10 22:14:16 UTC in Geany
-
Hi Enrico
Can you describe a little more what your patch does? Does it sort the tabs alphabetically when the tab titles are hidden?
I was thinking that maybe a natural way to achieve the same goal would be to have an option to sort the tabs alphabetically under Options->Interface->Editor tabs. I think Anjuta does it that way.
Thanks,
Conrad.
2009-08-09 21:13:11 UTC in Geany
-
When working with large numbers of files (yes C++ ;-) it is more convenient to navigate between files using the Documents sidebar.
Using Ctrl-PgUp/Down to navigate between files should be alphabetical in that case, and not the order of the notebook tabs.
One way to do that is probably to sort the notebook pages alphabetically when the tabs are not visible.
2009-08-03 16:53:40 UTC in Geany
-
Works perfectly here, thanks!
2009-04-27 23:45:10 UTC in Geany
-
Looking through the code it seems the padding comes from the GtkNotebook widget. So not much geany can do about it...
2009-04-26 03:07:34 UTC in Geany
-
Sorry, I forgot to log in before filing this bug.
2009-04-25 19:03:00 UTC in Geany
-
Hi Enrico,
Sorry, for not being clear:
No, I meant that the vertical scrollbar should extend to the very edge of the window. Firefox does this.
I'm attaching two screenshots that shows geany and Firefox vertical scrollbars. Not the extra 2 pixels on the right of the scrollbar in the geany shot.
2009-04-24 21:46:04 UTC in Geany
-
When geany (0.16) is maximized, having the editor scrollbar against the edge of the screen makes it easier to hit with the mouse pointer.
There is probably some padding around the box that contains the editor widget that can be removed.
Thanks for geany!
2009-04-24 18:24:24 UTC in Geany
