ufonduo / share-extras

Automatically exported from code.google.com/p/share-extras
0 stars 0 forks source link

Ctrl+Enter fires multiple times #39

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago
What steps will reproduce the problem?
1. Write a script which executes quickly
2. Press Ctrl+Enter
3. See the Output-Window flicker multiple times

What is the expected output? What do you see instead?

Only one script execution.

Please use labels and text to provide additional information.

Original issue reported on code.google.com by Florian....@gmail.com on 11 Jul 2011 at 7:30

GoogleCodeExporter commented 8 years ago
This issue was closed by revision r548.

Original comment by Florian....@gmail.com on 11 Jul 2011 at 8:06