User Details
- User Since
- Sep 9 2018, 3:38 PM (352 w, 2 d)
- Availability
- Available
Sep 17 2018
- https
- remove special line length cases
Sep 16 2018
Like most other editors, have something in ~; this would be ~/.editorconfig
Sep 11 2018
Unfortunately ctrl + shift + 0 does not seem to work because, shift changes 0 to a different character, we'd have to guess what it turns into or cover a range of options. So I opted for ctrl + alt + 0, imo a little less coherent, but still ok.
- Rebase on master
- Change default reset font size shortcut to ctrl + alt + 0
ctrl + shift + r then? or ctrl + shift + 0, because that would mimic the way that ctrl + something in 'modern' desktop application usually is ctrl + shift + something in konsole. Example browsers ctrl + c -> ctrl + shift + c, ctrl + t -> ctrl + shift + t. My vote is for ctrl + shift + 0, because that mimics the current scheme.
- Bump sessionui.rc version number
- Remove reset font size icon
Much better! One more request: can we disable the menu item when the current font size matches the profile's default font size?
@hindenburg I see no blocker for this, excluding maybe line length, yet that is as the comment says more a suggestion than a hard limit.
PPS: alternatively, one could add a .kateconfig file. Kate supports .editor config as well, though.
Sep 9 2018
- Replace font size reset default shortcut with ctrl+0
- Add reset font size option to docbook
- Add reset font size option to view menu
- Add icon to reset font size option