Changes between Initial Version and Version 1 of Ticket #9934, comment 1
- Timestamp:
- 2014-04-29T13:04:08+02:00 (12 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #9934, comment 1
initial v1 1 I was looking at this issue once again and came to the conclusion that a cleaner solution would be to drop this preference entry for good. As the default did change to "allways show" I do not see any advantage in hiding the feature of "dynamic" and it needs user action to activate it which means the user should be aware of. 1 I was looking at this issue once again and came to the conclusion that a cleaner solution would be to drop this preference entry for good. As the default did change to "allways show" I do not see any advantage in hiding the feature of "dynamic" and it needs user action to activate it which means the user should be aware of it.


