Details
-
Bug
-
Status: Open
-
Trivial
-
Resolution: Unresolved
-
11.3
-
None
-
None
-
Windows 10 x64
Description
I changed the default font to another one (Lucida Console, 13 pt) and the tab indents do not match the first letter of the row. I may use it in this way but as the indents number increases in the file the difference grows and it becomes an obstacle.