tools
/
configui
1
0
Fork 0
Code Issues 14 Pull Requests Projects Releases 6 Wiki Activity

Toggle space or tab, tabstop set by user #7

New Issue
Closed
opened 2021-10-18 11:52:02 +00:00 by evanchen · 1 comment
evanchen commented 2021-10-18 11:52:02 +00:00
Owner
There is no content yet.
evanchen added the
enhancement
 label 2021-10-18 11:52:02 +00:00
evanchen commented 2021-10-20 10:31:57 +00:00
Poster
Owner

editor.session.setTabSize(4);

editor.session.setUseSoftTabs(true);

editor.session.setTabSize(4); editor.session.setUseSoftTabs(true);
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
master
feat/muzan
feat/prism
v0.1.13
v0.1.12
v0.1.11
v0.1.10
v0.1.9
v0.1.8
v0.1.7
v0.1.6
v0.1.5
v0.1.4
v0.1.3
0.1.2
Labels
Clear labels   
bug

Something is not working   
duplicate

This issue or pull request already exists   
enhancement

New feature   
help wanted

Need some help   
invalid

Something is wrong   
question

More information is needed   
wontfix

This won't be fixed
No Label
bug
duplicate
enhancement
help wanted
invalid
question
wontfix
Milestone
Clear milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: tools/configui#7
There is no content yet.
Delete Branch "%!s(<nil>)"

Deleting a branch is permanent. Although the deleted branch may exist for a short time before cleaning up, in most cases it CANNOT be undone. Continue?