better Ctrl release handling (IDEA-24436)
tree0c9478a3fcacf41731fbc8bb712e11786394f403
drwxr-xr-x - .idea
drwxr-xr-x - UIDesignerCore
drwxr-xr-x - bin
drwxr-xr-x - build
-rw-r--r-- 3195 community-main.iml
drwxr-xr-x - community-resources
drwxr-xr-x - doc
drwxr-xr-x - idea-tests
drwxr-xr-x - inspections
drwxr-xr-x - java
drwxr-xr-x - javac2
drwxr-xr-x - lib
drwxr-xr-x - license
drwxr-xr-x - mockJDK-1.5
drwxr-xr-x - openapi
drwxr-xr-x - platform
drwxr-xr-x - plugins
drwxr-xr-x - refactoring
drwxr-xr-x - resources-en
drwxr-xr-x - resources
drwxr-xr-x - smRunner
drwxr-xr-x - source
drwxr-xr-x - testData
drwxr-xr-x - tools
drwxr-xr-x - ui-designer
drwxr-xr-x - xml