Community
Participate
Working Groups
Scrape book editor doesn't behave like the regular Java Editor. Most importantly there is no redo/undo functionality. I also think that Ctrl-Enter should be equivalent with Ctrl-U to run statements.
Fixed in 3.2 *** This bug has been marked as a duplicate of 89636 ***