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.