On Sat, Sep 11, 2010 at 11:37:52AM +0200, Carlos R. Mafra wrote:
> On Sat, 11 Sep 2010 at 12:02:14 +0400, Alexey I. Froloff wrote:
> > Yet again, no, but one can always use $EDITOR. I agree, this is
> > ugly, undocumented and stuff.
>
> Yeah, ok, but I think you will also agree this is not realistic.
>
> I doubt many users have the git sources and compile it themselves.
>
[...]
>
> I bet that to anyone wanting to modify the source to
> disable the clip title would simply comment the line
> which prints the title, instead of changing "YES" to
> "NO" in another far away place in the source.
I think "one can always use $EDITOR" was referring to editing
~/GNUstep/Defaults/WindowMaker, not to editing the source and
recompiling. I haven't *tried* the patch, but isn't
> > > + {"ShowClipTitle", "YES", NULL,
> > > + &wPreferences.show_clip_title, getBool, NULL, NULL,
> > > NULL},
in the code that parses the config file?
--
To unsubscribe, send mail to [email protected].
