IDE 1.8.0 Released -- update: 1.8.10

thanks @all,
to have to reinstall a new version anew is too cumbersome to me, but ctrl+Q for Quit (instead of ALT+F4) is fine!
OTOH, if there was a new Search and a Replace function in the 1.8.9 Editor with find-whole-words-only-option available, then it might be worth-while to upgrade :wink: