Changes between Version 1 and Version 2 of Ticket #9934, comment 1
- Timestamp:
- 2020-04-09T21:32:29+02:00 (4 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #9934, comment 1
v1 v2 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 "al lways 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.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 "always 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.