Get tabWidth / insertSpaces from editor preferences store #271
Conversation
|
This PR provides the capability to get the It will give the capability to customize the insert spaces / tabs with UI preferences and .editorconfig, but it requires some changes on Platform Text I created a draft PR for that eclipse-platform/eclipse.platform.text#109 |
angelozerr
force-pushed
the
custom-insert-spaces
branch
from
0b277a5
to
a533373
Compare
angelozerr
force-pushed
the
custom-insert-spaces
branch
2 times, most recently
from
1b7f08a
to
5db3d86
Compare
|
Even if this code works without some changes from Platform, it will use every time EditorUI preference store, but I think before merging this PR, @mickaelistria should be OK to merge this little PR eclipse-platform/eclipse.platform.text#88 (see my comment at eclipse-platform/eclipse.platform.text#88 (comment)) |
It should work now (CI build has successed) |
|
Agree, let us Mickael decide. Thanks for the clarification. |
angelozerr
force-pushed
the
custom-insert-spaces
branch
7 times, most recently
from
806607a
to
d7d52d5
Compare
Fixes eclipse#245 Signed-off-by: azerr <azerr@redhat.com>
|
@angelozerr is this PR still something you are working on or shall we close it? |
|
Im sorry I have no time to work on it. You can close it if you wish. |
Get tabWidth / insertSpaces from editor preferences store
Fixes #245
Signed-off-by: azerr azerr@redhat.com