annotate src/share/tools/IdealGraphVisualizer/Text Editor/build/classes/at/ssw/visualizer/texteditor/preferences.xml @ 3078:b15101f82e2d

Added read elimination phase.
author Thomas Wuerthinger <thomas@wuerthinger.net>
date Tue, 28 Jun 2011 13:52:36 +0200
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
3078
b15101f82e2d Added read elimination phase.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
1 <?xml version="1.0" encoding="UTF-8"?>
b15101f82e2d Added read elimination phase.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
2 <!DOCTYPE editor-preferences PUBLIC "-//NetBeans//DTD Editor Preferences 1.0//EN" "http://www.netbeans.org/dtds/EditorPreferences-1_0.dtd">
b15101f82e2d Added read elimination phase.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
3
b15101f82e2d Added read elimination phase.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
4 <editor-preferences>
b15101f82e2d Added read elimination phase.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
5 <entry name="code-folding-enable" value="true" javaType="java.lang.Boolean" />
b15101f82e2d Added read elimination phase.
Thomas Wuerthinger <thomas@wuerthinger.net>
parents:
diff changeset
6 </editor-preferences>