Re: [gedit-list] gedit tabs
- From: Paolo Borelli <pborelli katamail com>
- To: Bobakitoo <bobakitoo qc aira com>
- Cc: gedit-list gnome org
- Subject: Re: [gedit-list] gedit tabs
- Date: Tue, 12 Apr 2005 09:10:04 +0200
[forgot to cc the list, sorry for the dup]
On dom, 2005-04-10 at 19:43 -0400, Bobakitoo wrote:
> On Tue, 2005-12-04 at 00:43 +0200, Paolo Borelli wrote:
> > On sab, 2005-04-09 at 22:39 -0400, Bobakitoo wrote:
> > > Each time i get update i have to rebuild gedit and change
> > > mdi->priv->tab_pos = GTK_POS_TOP to GTK_POS_LEFT. tabs on
> > > top is bad when opening many documents at once. Can it be
> > > avaible as option for next version?
> > >
> > > I'll volonter to hack a patch if it not a priority. Will
> > > it be accepted into the realse?
> > >
> > I do not want to discourage you from hacking on gedit (quite the
> > opposite, we love getting patches!), but honestly I doubt that it
> > be included upstream.
> I allready complet the hack to change the position from gconf-editor.
> tho i got trouble changing the gconfd shema for the option to be
> displayed in. Also the bonobo thing lost me too, beside of gtk+ i dont
> know much about the gnome apis.
I can well understand that bonobo can be confusing, especially for the
fact that is not very documented. The good news is that we are getting
rid of it.
> Since thers is not much new code and chance to be include are slim i
> wont post it on the list.
> > In the future gedit will instead have side panel in which, among
> > things, a list of the currently open files can be displayed.
> This is a great idea. Is this pannel code in cvs? Is desing notes
> published? I would like to contribute to this functionality insted.
You can see the code in the "new_mdi" branch of cvs: note that such
branch is still fairly rough (for instance you can't save files yet
etc). If you want to take a look check it out from cvs and complile it:
note that you should *not* run make install, just run it as ./gedit from
the sources directory.
Some design docs are available on the wiki (live.gnome.org/Gedit), you
are also welcome to join #gedit on gnome to discuss things.
][Date Next] [Thread Prev