For some people the splitter is too tiny, specially in hidpi screens
Details
Details
Diff Detail
Diff Detail
- Repository
- R319 Konsole
- Branch
- splitterSizeConfig
- Lint
No Linters Available - Unit
No Unit Test Coverage - Build Status
Buildable 11723 Build 11741: arc lint + arc unit
Comment Actions
Hmm, I'm not sure it makes sense to have this be configurable. I think it would make more sense to fix the High DPI case so it's more than a single pixel wide for those users, and then either make the splitter itself visually wider by default (-1), or else give it a wider drag area even if it remains visually thin (+1).