Trond Hasle Amundsen t.h.amund...@usit.uio.no wrote:
Christopher Meng cicku...@gmail.com 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
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
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
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 to be
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 maintainer
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 System
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 (no tweak
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$ employee.
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
officially
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
operating systems
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
operating
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 cicku...@gmail.com writes:
Somewhat funny that many users even don't know this tweak tool and ask
everywhere about this..
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 cicku...@gmail.com writes:
Somewhat funny that many users even
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.
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
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
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: bad
Settings
On Sunday, February 10, 2013, Samuel Sieb sam...@sieb.net 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
Christopher Meng cicku...@gmail.com 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,
On Sun, Feb 10, 2013 at 01:28:54PM +0100, Trond Hasle Amundsen wrote:
Christopher Meng cicku...@gmail.com 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
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. At
Olav Vitters o...@vitters.nl 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,
On 02/09/2013 03:34 AM, Ian Malone wrote:
1. I no longer use workspaces to manage different tasks unless there
are lots of windows and then I sometimes overflow onto 2. This is
because they're less useful as you now can't switch without going to
the activities view and they aren't segregated
23 matches
Mail list logo