You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Since some files use tabs and some spaces, we need a way to quickly toggle between them.
Now one has to go to the menu, and to the settings dialog, clicking on Editor group, and then change it.
Perhaps do it like gEdit does: The current tabs setting is shown in the status bar, clicking on it pops up a menu with a "use spaces" checkbox and a tab size 2, 4, 8 radio group.
The text was updated successfully, but these errors were encountered:
Since some files use tabs and some spaces, we need a way to quickly toggle between them.
Now one has to go to the menu, and to the settings dialog, clicking on Editor group, and then change it.
Perhaps do it like gEdit does: The current tabs setting is shown in the status bar, clicking on it pops up a menu with a "use spaces" checkbox and a tab size 2, 4, 8 radio group.
The text was updated successfully, but these errors were encountered: