Jump to content
tinyboss

Script editor suggestions

Recommended Posts

Any chance we could get some improvements to the script editor? Particular annoyances:

  • Auto-indent: This is a huge one. I'm not even talking about intelligently increasing the indent level after "do" and decreasing it after "end"--I can do that for myself. But when we press <enter> can we at least have the new line match the indentation level of the current one?
  • Tab size: It's a personal preference, but I think 8 is a pretty unpopular choice. If we can't have a setting for it, can we at least reduce it to 4, which is much more standard?
  • <alt-tab> behavior: When I switch over to my browser to check the documentation and then come back to Leadwerks, the editor no longer has focus and I have to reach for my mouse. Not only that, but I have to click in the right place in the editor to get back to where I was.

Share this post


Link to post

I wouldn't count on it.

 

This has been requested as of day 1 since leadwerks 3 was released in januari 2013. Many have already asked for it.

Share this post


Link to post

Oh well. I just realized that there's nothing keeping me from doing my script editing from Notepad++, so I'm much less concerned about it now than when I wrote this.

Share this post


Link to post

These are all good suggestions. The lack of auto-indent bugs me sometimes.

Yes Josh. The devil is in the details ;)

Share this post


Link to post

One for me is with the windows of the gui itself. I'd love to have the ability to aise/lower as any window so I can keep the script one open and drop it behind the main window for example.

Share this post


Link to post

Join the conversation

You can post now and register later. If you have an account, sign in now to post with your account.

Guest
Reply to this topic...

×   Pasted as rich text.   Paste as plain text instead

  Only 75 emoji are allowed.

×   Your link has been automatically embedded.   Display as a link instead

×   Your previous content has been restored.   Clear editor

×   You cannot paste images directly. Upload or insert images from URL.

×
×
  • Create New...