[prev in list] [next in list] [prev in thread] [next in thread] 

List:       kdevelop-bugs
Subject:    [Bug 270018] "Remove the tool" button unintuitive
From:       Wolfgang Bangerth <bangerth () dealii ! org>
Date:       2011-11-22 20:01:05
Message-ID: E1RSwWf-0005sm-0L () bugs ! kde ! org
[Download RAW message or body]

https://bugs.kde.org/show_bug.cgi?id=270018





--- Comment #2 from Wolfgang Bangerth <bangerth dealii org>  2011-11-22 20:01:04 ---
I would say leave the button in place but change the semantics: instead of
removing the tool, make it equivalent to what happens when you click on the tab
on the perimeter of the main window ("hide" the tool).

As for changing the behavior: True, change is awkward, but in general I tend to
think that whenever a program has some awkward behavior that is commonly agreed
makes little sense, then I'm all in favor of changing it: the few users who
actively use it will adapt (and I would claim that few people actively use it,
because completely removing a tool is a pretty uncommon operation) while the
large majority as well as all those who may learn the tool in the future will
benefit from the change.

W.

-- 
Configure bugmail: https://bugs.kde.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.

_______________________________________________
KDevelop-bugs mailing list
KDevelop-bugs@kdevelop.org
https://barney.cs.uni-potsdam.de/mailman/listinfo/kdevelop-bugs
[prev in list] [next in list] [prev in thread] [next in thread]