[Gtkradiant] [Bug 534] Need an un-hide last hidden brush option.
Sun, 2 Jun 2002 08:06:01 +0200
I don't think 'h' and 'shift+h' should be changed but unhide last hidden
does sound like a nice option. Maybe 'shift+crlt+h', 'shift+ctrl+h'
again to unhide second last (and so on) hidden brushes??
(I've just started to read emails from a few weeks ago, sorry if this is
On Thu, 23 May 2002 04:30:46 -0500
> ------- Additional Comments From email@example.com 2002-05-23
> 04:30 ------- need feedback of some experienced users here
> don't really want to add a new shortcut
> H to hide
> Shift+H to unhide
> maybe Shift+H should leave all hidden brushes selected after the
> unhide operation? so that you can deselect the brush and hide
> everything again?
> sounds self-contained and easy fix
> need feedback about potential changes in related functionalities
> though (Spog?)