On Sat, 11 Sep 2010 at 12:02:14 +0400, Alexey I. Froloff wrote:
> On Fri, Sep 10, 2010 at 11:24:40PM +0200, Carlos R. Mafra wrote:
> > Hm, there is no code added in WPrefs to make the choice
> > available(?)
> 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 didn't wrote this patch and I
> don't use it (I don't use Clip at all), but some of ALT Linux
> users may.
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.
> If you insist that all options must appear in WPrefs,
> I can probably do that, although WPrefs doesn't have much room
> left...
No, I don't insist at all. If we go down this line we end with
a bloaty wmaker quite easily.
WPrefs exist to offer the user options which make sense changing.
Like "focus follow mouse" versus "click to focus", which actually
modify how the user interact with wmaker and can lead to real
productivity increases depending on the person.
> > > + {"ShowClipTitle", "YES", NULL,
> > > + &wPreferences.show_clip_title, getBool, NULL, NULL, NULL},
> > Shouldn't it be "NO"?
> No, because this patch doesn't change default behavior.
--
To unsubscribe, send mail to [email protected].
