General settings


Contents:
     General Settings
     Configuring JVMs in General Settings
     JRE Configuration For Launched Sessions
     JDK Configuration For Code Editor And Script Compilation
     Session Defaults
     Snapshots
     IDE Integrations
     Configuring Miscellaneous Options in General Settings