IntelliJ Community . HowToSetAnOption

 
HowToSetAnOption 

HOME INDEX SEARCH CHANGES GO  
How to set an option:

  1. Install plugin.
  2. Restart IDEA.
  3. Quit IDEA.
  4. Find file: $IDEA_CONFIG_DIR/options/other.xml or $IDEA_CONFIG_DIR/options/plugins/$PLUGIN_NAME.xml
  5. Find the option element.
  6. Set the option's value.

-- TimurZambalayev - May 24, 2003

e d i t a t t a c h r e f - b y d i f f s m o r e
Have ideas, requests, problems regarding this site? Send feedback.
Copyright © 2000-2003 by the contributing authors. All materials at intellij.org are the property of the contributing authors.