Re: [Geany-devel] draggable tabs - current state?

2012-07-14 Thread Thomas Martitz
Am 14.07.2012 04:20, schrieb Lex Trotman: On 14 July 2012 07:07, Sean Felipe Wolfe ether@gmail.com wrote: I'd like to be able to have 2-3 columns of tabs and be able to drag + rearrange, something like Eclipse's draggable tab setup -- one of the few things I like about Eclipse. I assume

Re: [Geany-devel] draggable tabs - current state?

2012-07-14 Thread Lex Trotman
On 14 July 2012 20:21, Thomas Martitz thomas.mart...@student.htw-berlin.de wrote: Am 14.07.2012 04:20, schrieb Lex Trotman: On 14 July 2012 07:07, Sean Felipe Wolfe ether@gmail.com wrote: I'd like to be able to have 2-3 columns of tabs and be able to drag + rearrange, something like

Re: [Geany-devel] draggable tabs - current state?

2012-07-14 Thread Thomas Martitz
Am 14.07.2012 12:39, schrieb Lex Trotman: On 14 July 2012 20:21, Thomas Martitz thomas.mart...@student.htw-berlin.de wrote: Am 14.07.2012 04:20, schrieb Lex Trotman: On 14 July 2012 07:07, Sean Felipe Wolfe ether@gmail.com wrote: I'd like to be able to have 2-3 columns of tabs and be

Re: [Geany-devel] draggable tabs - current state?

2012-07-14 Thread Matthew Brush
On 12-07-14 04:48 AM, Matthew Brush wrote: On 12-07-14 03:59 AM, Thomas Martitz wrote: Am 14.07.2012 12:39, schrieb Lex Trotman: On 14 July 2012 20:21, Thomas Martitz thomas.mart...@student.htw-berlin.de wrote: Am 14.07.2012 04:20, schrieb Lex Trotman: On 14 July 2012 07:07, Sean Felipe

Re: [Geany-devel] draggable tabs - current state?

2012-07-14 Thread Thomas Martitz
Am 14.07.2012 13:55, schrieb Matthew Brush: You can imagine also how this would be useful for plugins such as Webhelper or MultiTerm (or the builtin terminal). Like this: http://tinypic.com/r/2d1px90/6 Or debugger. +1 :) Best regards. ___

Re: [Geany-devel] Third party plugin publish and third party library bundle problem

2012-07-14 Thread Dominic Hopf
On Sat, 2012-07-07 at 13:39 +0800, Hong Xu wrote: First, http://plugins.geany.org is a place for plugin list. But are the third party plugins allowed here? All the pages seem working for the plugins here: https://github.com/geany/geany-plugins including the download page, installation page.

Re: [Geany-devel] Third party plugin publish and third party library bundle problem

2012-07-14 Thread Dominic Hopf
On Sat, 2012-07-14 at 20:12 +0200, Dominic Hopf wrote: It would be no big deal to introduce it again if you like. You can just open another pull request for the plugins.geany.org website and I'll have a look on it as soon as I find the time to do that. :) If you're going to add your plugin to

Re: [Geany-devel] draggable tabs - current state?

2012-07-14 Thread Sean Felipe Wolfe
What does 'notebook' refer to in this context? It sounds like it refers to the windowspace of the gtk app as a whole? Or did I get that wrong? ___ Geany-devel mailing list Geany-devel@uvena.de https://lists.uvena.de/cgi-bin/mailman/listinfo/geany-devel

Re: [Geany-devel] draggable tabs - current state?

2012-07-14 Thread Matthew Brush
On 12-07-14 11:25 AM, Sean Felipe Wolfe wrote: What does 'notebook' refer to in this context? It sounds like it refers to the windowspace of the gtk app as a whole? Or did I get that wrong? http://developer.gnome.org/gtk/2.24/GtkNotebook.html Cheers, Matthew Brush

Re: [Geany-devel] Third party plugin publish and third party library bundle problem

2012-07-14 Thread Hong Xu
On 07/15/2012 02:12 AM, Dominic Hopf wrote: On Sat, 2012-07-07 at 13:39 +0800, Hong Xu wrote: First, http://plugins.geany.org is a place for plugin list. But are the third party plugins allowed here? All the pages seem working for the plugins here: https://github.com/geany/geany-plugins