Search found 10 matches
- 05 Sep 2017 20:00
- Forum: Bug reports
- Topic: v12.30 b3: Unnecessary horizontal scrollbar
- Replies: 6
- Views: 11734
Re: v12.30 b3: Unnecessary horizontal scrollbar
Great! Thank you very much!
- 04 Sep 2017 13:00
- Forum: Bug reports
- Topic: v12.30 b3: Unnecessary horizontal scrollbar
- Replies: 6
- Views: 11734
Re: v12.30 b3: Unnecessary horizontal scrollbar
I can make it work better when using a fixed width font. I would be fully satisfied with that. But in order to keep the users of proportional fonts satisfied too, how about the following proposal? Determine whether a fixed width font is in use. If so, then apply the "simple math" solution...
- 04 Sep 2017 09:50
- Forum: Bug reports
- Topic: v12.30 b3: Unnecessary horizontal scrollbar
- Replies: 6
- Views: 11734
Re: v12.30 b3: Unnecessary horizontal scrollbar
The error is still present in 12.31. It's quite annoying. Don't you want to fix it? Do you need any more information from my side to reproduce it?
By the way, you can forget my comment about the "Auto hide" option. I understand now what this option does.
By the way, you can forget my comment about the "Auto hide" option. I understand now what this option does.
- 01 Sep 2017 20:25
- Forum: Bug reports
- Topic: v12.30 b3: Unnecessary horizontal scrollbar
- Replies: 6
- Views: 11734
Re: v12.30 b3: Unnecessary horizontal scrollbar
The error still occurs in v12.30. I have recorded a short film showing the error. Please see the attached file.
- 25 Aug 2017 09:11
- Forum: Bug reports
- Topic: FIXED: Right margin vertical line overwrites text in editor window
- Replies: 7
- Views: 13876
Re: FIXED: Right margin vertical line overwrites text in editor window
Thank you! I do confirm that it's fixed in beta 4.Rickard Johansson wrote: ↑24 Aug 2017 19:50 It's been fixed. I'll release a beta 4 tomorrow so you can confirm the fix.
- 24 Aug 2017 17:33
- Forum: Bug reports
- Topic: v12.30 b3: Unnecessary horizontal scrollbar
- Replies: 6
- Views: 11734
v12.30 b3: Unnecessary horizontal scrollbar
When you type text in a line so that the line gets longer and longer, a horizontal scrollbar will appear suddenly, although no horizontal scrollbar is necessary. From my understanding, a horizontal scrollbar should only appear if the length of the line exceeds the width of the editor window. This pr...
- 24 Aug 2017 17:09
- Forum: Bug reports
- Topic: FIXED: Right margin vertical line overwrites text in editor window
- Replies: 7
- Views: 13876
Re: FIXED: Right margin vertical line overwrites text in editor window
In v12.30 b3, the current line highlight now overwrites the right margin vertical line. This was not the case before v12.30 b3. I might get used to the new behavior, but I prefer the old behavior, i.e. the right margin vertical line overwrites the current line highlight. Would it be possible to rest...
- 23 Aug 2017 12:11
- Forum: Bug reports
- Topic: FIXED: Right margin vertical line overwrites text in editor window
- Replies: 7
- Views: 13876
FIXED: Right margin vertical line overwrites text in editor window
The right margin vertical line overwrites text in editor window. See the attached screenshot. The letter at the grey vertical line is actually "n". But it looks like "r".
- Zwischenablage01.jpg (2.68 KiB) Viewed 13876 times
- 22 Aug 2017 18:22
- Forum: Bug reports
- Topic: FIXED: v12.30 b1: Fold node icons are too big
- Replies: 9
- Views: 15889
Re: FIXED: v12.30 b1: Fold node icons are too big
It's okay in beta 2. Thank you!
- 21 Aug 2017 17:51
- Forum: Bug reports
- Topic: FIXED: v12.30 b1: Fold node icons are too big
- Replies: 9
- Views: 15889
FIXED: v12.30 b1: Fold node icons are too big
When using the font Consolas with size=10 and setting the space between lines to 0, the fold node icons are too big. See the attached screenshot:
- Zwischenablage01.jpg (19.09 KiB) Viewed 15885 times
