How can I set widths of individual tab characters with a plugin?
已回答
I'm trying to implement elastic tabstops for IntelliJ Idea. That requires calculating how far each tab should reach according to surrounding lines and stretching it that far. I can't find any mention of setting tab width in the SDK DevGuide. Automatically indenting with spaces is not viable because it doesn't work well with proportional fonts.
请先登录再写评论。
This is currently not possible to achieve from a plugin, as it would require major changes in the Editor/Formatting API on the platform level.