Feature #1604
Streamlined and corrected CodeEditor bar size and positions
Status: | In Progress | Start date: | 01/04/2017 | |
---|---|---|---|---|
Priority: | Normal | Due date: | ||
Assignee: | cbpporter cbpporter | % Done: | 0% | |
Category: | CodeEditor | Spent time: | - | |
Target version: | - |
Description
Just simply dropping a CodeEditor somewhere and setting up the correct properties can often lead to elements like change tracker, #if highlight, numbers, breakpoints, annotations to clip.
You either need to fiddle with them in counter intuitive ways or accept the clipping.
The fix makes everything add up in a simple fashion and there is no clipping.
Side effects: the bar can be a few pixels wider than the old one. Shouldn't be a problem with modern high width monitors. Maybe scaling needs to be added?
History
#1 Updated by Miroslav Fidler over 7 years ago
- Status changed from New to In Progress
- Assignee set to cbpporter cbpporter
I appears that proposed patch is using 'fixed' number of pixels in most places. Also it appears like it is derived from some pretty old U++ baseline sources.
The number of pixels should be adjusted with Zx/Zy (based on font zooming ratio) or with Dx/Dy (based on display being UHD).
Mirek
#2 Updated by cbpporter cbpporter over 7 years ago
Miroslav Fidler wrote:
I appears that proposed patch is using 'fixed' number of pixels in most places. Also it appears like it is derived from some pretty old U++ baseline sources.
The number of pixels should be adjusted with Zx/Zy (based on font zooming ratio) or with Dx/Dy (based on display being UHD).
Mirek
Weird. I thought I merged with the latest release before posting. But I did not change the content of the new lines, which are indeed based on an old version of CodeEditor.