Page 1 of 1

Syntax highlighting in script editor

Posted: Fri Feb 01, 2019 6:52 am
by MirkoKohler
The used edit control seems capable of it:
Screenshot_20190201-074140_Lightning Launcher.jpg
Screenshot_20190201-074140_Lightning Launcher.jpg (136.28 KiB) Viewed 11300 times

Re: Syntax highlighting in script editor

Posted: Mon Feb 04, 2019 6:31 am
by Pierrot
What do you mean by "seems capable of it" ?
This text editor is based on the open source one found in Ted (licenses here: https://www.lightninglauncher.com/wordpress/licenses/), which had no syntax highlighting at the that time. It doesn't seem that Ted has evolved since.

Re: Syntax highlighting in script editor

Posted: Mon Feb 04, 2019 5:43 pm
by MirkoKohler
I copied this syntax highlighted text from Turbo Editor (https://github.com/vmihalachi/turbo-editor/). After a paste in script editor, I took the Screenshot. So the control is able to show various colors.

This is meant with."seems capable of it". I know that isn't syntax highlighting, but it would be a nice feature. @Pierrot

Re: Syntax highlighting in script editor

Posted: Mon Feb 04, 2019 5:51 pm
by Pierrot
Oh, I wasn't aware of this component. That's an interesting link, thank you. The code looks a bit strange to me and hasn't been updated for while but it is worth having a closer look at it.

Re: Syntax highlighting in script editor

Posted: Sun Feb 24, 2019 5:02 pm
by JayM
does this mean you might swap Ted for turbo? syntax highlighting would be a great feature but I remember you said you didn't wanna do to much work on the script editor as there is propper code editors already on the market or something like that.

Re: Syntax highlighting in script editor

Posted: Sun Feb 24, 2019 6:17 pm
by Pierrot
If there's enough reasons to do it, I might spent some time do it. This is not the job of the launcher to be a full fledged text editor but to be honest I rarely use an external editor. I use either the built-in one, or my PC, but no tool in the middle.

Re: Syntax highlighting in script editor

Posted: Sun Feb 24, 2019 9:37 pm
by JayM
I reckon a lot of people just use the built in editor saves messing about with other apps.