replace space by dot in source file editor
lazarus / 9-Editor

----------------------------------------------------------------------
jfj39 · 2021-04-07 22:19

Hi
With Ubuntu 20.04, Gnome environment.
Does any one knows how to change dots by spaces or tabulation (not
visible characters) in source code.
Thanks in advnce for any help

----------------------------------------------------------------------
Martin_fr · 2021-04-07 22:21

Menu: Tools > Options
Page: Editor > General > Miscellaneous: Turn off "Show special
characters"

That will turn off tabs and spaces anywhere.
There is no fine tuning.

However instead of turning them off, you can change the color.
Page: Editor > Display > Color:  In the color tree:  Text > Visualized
special chars