Just lost an hour of tagging due to this unexpected behavior. I suggest that
* selections are persisted !
* it's already quite easy to clear selection, for example with "ctrl+a del". a
context-menu option of "Clear all selections" could be added
* if really necessary for some obscure workflow, a "
For anyone that might have this problem: I finally noticed what was lagging my
PC, probably for ages. Duh.
This solved it - either the kernel boot parameter to disable the BIOS imposed
limit as above, or what is noted down here:
http://blog.patshead.com/2013/04/my-bios-is-limiting-my-cpu-clock-
Ubuntu 13.10
I get
[...]
--CONFIG-- [con010c] Filesystem 'pstore' used by 'none' is not recognised as a
valid filesystem
--CONFIG-- [con010c] Filesystem 'fuse.gvfsd-fuse' used by 'gvfsd-fuse' is not
recognised as a valid filesystem
[...]
--
You received this bug notification because you are a
