make/idea/template/workspace.xml
changeset 37976 9cc5debe0f47
parent 37861 53d85619d7fe
child 47217 72e3ae9a25eb
equal deleted inserted replaced
37975:551c5d86de79 37976:9cc5debe0f47
     5     <ignored path="$PROJECT_DIR$/build/idea/out/" />
     5     <ignored path="$PROJECT_DIR$/build/idea/out/" />
     6     <ignored path=".idea/" />
     6     <ignored path=".idea/" />
     7   </component>
     7   </component>
     8   <component name="StructureViewFactory">
     8   <component name="StructureViewFactory">
     9     <option name="ACTIVE_ACTIONS" value=",ALPHA_COMPARATOR" />
     9     <option name="ACTIVE_ACTIONS" value=",ALPHA_COMPARATOR" />
       
    10   </component>
       
    11   <component name="RunManager" selected="Ant Target.jtreg">
       
    12     <configuration default="false" name="jtreg" type="AntRunConfiguration" factoryName="Ant Target">
       
    13       <antsettings antfile="file://$PROJECT_DIR$/.idea/build.xml" target="jtreg" />
       
    14       <method>
       
    15         <option name="Make" enabled="false" />
       
    16       </method>
       
    17     </configuration>
    10   </component>
    18   </component>
    11   <component name="antWorkspaceConfiguration">
    19   <component name="antWorkspaceConfiguration">
    12     <option name="IS_AUTOSCROLL_TO_SOURCE" value="false" />
    20     <option name="IS_AUTOSCROLL_TO_SOURCE" value="false" />
    13     <option name="FILTER_TARGETS" value="false" />
    21     <option name="FILTER_TARGETS" value="false" />
    14     <buildFile url="file://$PROJECT_DIR$/.idea/build.xml">
    22     <buildFile url="file://$PROJECT_DIR$/.idea/build.xml">