Skip to content

Cannot use app.useTool() after app.Paste (and possible crash) #2933

@dacap

Description

@dacap

With a script like this:

app.command.Paste()
app.useTool{ tool="pencil", points={1,1} }
app.command.Cut()
  1. Create a sprite
  2. Copy a selection to the clipboard
  3. Run the script

It will show:

Screen Shot 2021-09-02 at 09 18 01

The app.useTool() should cancel the selection state of the editor. We should have also a chance to position the selection in some place with Paste command, etc.

Reported: https://discord.com/channels/324979738533822464/527442731732041728/882960748572192839

Metadata

Metadata

Labels

bugscriptingRelated to scripting API

Type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions