Nick Gravgaard
2013-02-18 21:29:51 UTC
Hi everyone.
I posted to this mailing list some years ago when I was thinking about
how I might implement elastic tabstops
(http://nickgravgaard.com/elastictabstops/) for Scintilla. I never got
around to doing that, but some time ago David Kinder approached me to
tell me he'd ported my old Gedit (GTK) code to Scintilla as part of his
work on the Windows version of Inform 7 (a system for writing text
adventure games). With David's blessings I've put the code up on GitHub
at https://github.com/nickgravgaard/ElasticTabstopsForScintilla
I hope some of you will take this code and use it in your own projects
(a web search shows there seems to be some demand for this feature). If
you need to figure out how to convert text formatted using elastic
tabstops to use spaces instead (and vice versa), there's some Python
code I wrote which does that at
http://pypi.python.org/pypi/ElasticTabstops/ - hopefully it should be
straightforward to port to other languages.
What do you think? - if I can help in any way just shout,
Nick
--
You received this message because you are subscribed to the Google Groups "scintilla-interest" group.
To unsubscribe from this group and stop receiving emails from it, send an email to scintilla-interest+***@googlegroups.com.
To post to this group, send email to scintilla-***@googlegroups.com.
Visit this group at http://groups.google.com/group/scintilla-interest?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
I posted to this mailing list some years ago when I was thinking about
how I might implement elastic tabstops
(http://nickgravgaard.com/elastictabstops/) for Scintilla. I never got
around to doing that, but some time ago David Kinder approached me to
tell me he'd ported my old Gedit (GTK) code to Scintilla as part of his
work on the Windows version of Inform 7 (a system for writing text
adventure games). With David's blessings I've put the code up on GitHub
at https://github.com/nickgravgaard/ElasticTabstopsForScintilla
I hope some of you will take this code and use it in your own projects
(a web search shows there seems to be some demand for this feature). If
you need to figure out how to convert text formatted using elastic
tabstops to use spaces instead (and vice versa), there's some Python
code I wrote which does that at
http://pypi.python.org/pypi/ElasticTabstops/ - hopefully it should be
straightforward to port to other languages.
What do you think? - if I can help in any way just shout,
Nick
--
You received this message because you are subscribed to the Google Groups "scintilla-interest" group.
To unsubscribe from this group and stop receiving emails from it, send an email to scintilla-interest+***@googlegroups.com.
To post to this group, send email to scintilla-***@googlegroups.com.
Visit this group at http://groups.google.com/group/scintilla-interest?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.