Trond Hasle Amundsen wrote:
> Christopher Meng writes:
>
>> Somewhat funny that many users even don't know this tweak tool and ask
>> everywhere about this..
>
> I always found it odd that gnome-tweak-tool even exists.. some
> functionality are found in the system settings, some in
> gnome-tw
Hi
On Fri, Feb 15, 2013 at 9:09 PM, Kevin Kofler wrote:
> I think settings should be made available to the user, but not in a
> half-assed "tweak tool". That's what the settings dialog is for.
>
We understand that is your view point and it is fine to hold that view
point and as a KDE maintain
Martin Sourada wrote:
> I don't think that's what he is trying to tell. I believe it's: either
> expose the setting, or don't have the setting. The middle way is
> broken, be it semi-official tweak tool or even worse "advanced" tab.
> Especially if the tweak tool is for settings that are expected t
On Thu, 14 Feb 2013 19:31:42 -0800
Adam Williamson wrote:
> Kevin, you work on a desktop which sufficiently represents your
> views. I think we're all aware that if we want fifteen thousand
> settings in the control panel, we can run KDE. Do you really believe
> you're going to convince the GNOME
On 10/02/13 06:03 AM, Kevin Kofler wrote:
Olav Vitters wrote:
This has been addressed various times. In brief: Advanced buttons do not
work. They'll be clicked every time. Tweak tool provides a different
guarantee of stability. For instance: if you change an option in System
Settings and it resu
On Mon, Feb 11, 2013 at 11:20:04PM +0100, Kevin Kofler wrote:
> Olav Vitters wrote:
> > PS: http://en.wikipedia.org/wiki/Tweak_UI
>
> It was written by one individual employee and released as an unsupported
> tool. It'd have been a third-party tool if the author didn't happen to be an
> M$ emplo
On Mon, Feb 11, 2013 at 11:18:09PM +0100, Kevin Kofler wrote:
> Olav Vitters wrote:
> > I don't get why you reply to me. It seems anything people do is just
> > bad.
> >
> > No tweak tool: bad
> > A tweak tool: bad
>
> Strawman…
>
> What I actually mean is:
> Completely hidden or absent settings
On Sun, 2013-02-10 at 15:03 +0100, Kevin Kofler wrote:
> Olav Vitters wrote:
> > This has been addressed various times. In brief: Advanced buttons do not
> > work. They'll be clicked every time. Tweak tool provides a different
> > guarantee of stability. For instance: if you change an option in Sys
I wrote:
> Olav Vitters wrote:
>> I don't get why you reply to me. It seems anything people do is just
>> bad.
>>
>> No tweak tool: bad
>> A tweak tool: bad
>
> Strawman…
>
> What I actually mean is:
> Completely hidden or absent settings ("no tweak tool"): bad
> Settings hidden in a tweak tool
Olav Vitters wrote:
> PS: http://en.wikipedia.org/wiki/Tweak_UI
It was written by one individual employee and released as an unsupported
tool. It'd have been a third-party tool if the author didn't happen to be an
M$ employee.
Kevin Kofler
--
devel mailing list
devel@lists.fedoraproje
Olav Vitters wrote:
> I don't get why you reply to me. It seems anything people do is just
> bad.
>
> No tweak tool: bad
> A tweak tool: bad
Strawman…
What I actually mean is:
Completely hidden or absent settings ("no tweak tool"): bad
Settings hidden in a tweak tool: bad
Settings available and
On Mon, Feb 11, 2013 at 01:30:29PM +0100, Mario Torre wrote:
> This argument doesn't really work, either.
Care to provide any argumentation? At the moment if that were true, I'd
could just refer to:
http://en.wikipedia.org/wiki/The_pot_calling_the_kettle_black
But actually I explained myself. You
On Mon, Feb 11, 2013 at 01:30:02PM +0100, Mario Torre wrote:
> Il giorno dom, 10/02/2013 alle 14.47 +0100, Olav Vitters ha scritto:
> > On Sun, Feb 10, 2013 at 01:28:54PM +0100, Trond Hasle Amundsen wrote:
> > > Christopher Meng writes:
> > >
> > > > Somewhat funny that many users even don't know
Il giorno dom, 10/02/2013 alle 14.47 +0100, Olav Vitters ha scritto:
> On Sun, Feb 10, 2013 at 01:28:54PM +0100, Trond Hasle Amundsen wrote:
> > Christopher Meng writes:
> >
> > > Somewhat funny that many users even don't know this tweak tool and ask
> > > everywhere about this..
> >
> > I a
Il giorno lun, 11/02/2013 alle 11.12 +0100, Olav Vitters ha scritto:
> On Sun, Feb 10, 2013 at 03:03:44PM +0100, Kevin Kofler wrote:
> > Having a separate "tweak tool" is a lame workaround for lack of settings in
> > the official tools. The only reason such "tweak tools" exist on proprietary
> >
On Mon, Feb 11, 2013 at 11:12:32AM +0100, Olav Vitters wrote:
> On Sun, Feb 10, 2013 at 03:03:44PM +0100, Kevin Kofler wrote:
> > Having a separate "tweak tool" is a lame workaround for lack of settings in
> > the official tools. The only reason such "tweak tools" exist on proprietary
> > operati
On Sun, Feb 10, 2013 at 03:03:44PM +0100, Kevin Kofler wrote:
> Having a separate "tweak tool" is a lame workaround for lack of settings in
> the official tools. The only reason such "tweak tools" exist on proprietary
> operating systems is because the proprietary companies don't want to
> offic
Olav Vitters writes:
>>> Somewhat funny that many users even don't know this tweak tool and ask
>>> everywhere about this..
>>
>> I always found it odd that gnome-tweak-tool even exists.. some
>> functionality are found in the system settings, some in
>> gnome-tweak-tool. If you ask me, gnom
Olav Vitters wrote:
> This has been addressed various times. In brief: Advanced buttons do not
> work. They'll be clicked every time. Tweak tool provides a different
> guarantee of stability. For instance: if you change an option in System
> Settings and it results in a bug it must be fixed asap. A
On Sun, Feb 10, 2013 at 01:28:54PM +0100, Trond Hasle Amundsen wrote:
> Christopher Meng writes:
>
> > Somewhat funny that many users even don't know this tweak tool and ask
> > everywhere about this..
>
> I always found it odd that gnome-tweak-tool even exists.. some
> functionality are fou
Christopher Meng writes:
> Somewhat funny that many users even don't know this tweak tool and ask
> everywhere about this..
I always found it odd that gnome-tweak-tool even exists.. some
functionality are found in the system settings, some in
gnome-tweak-tool. If you ask me, gnome-tweak-tool
On Sunday, February 10, 2013, Samuel Sieb wrote:
＞ As an aside, when I first saw gnome-shell, I thought it would be horrible
to use. But after a while of using it, finding gnome-tweak-tool, and
installing a couple of extensions, I've been quite happy with it. I
actually think it's more keyboard
22 matches
Mail list logo
