view 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
line wrap: on
line source

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE editor-preferences PUBLIC "-//NetBeans//DTD Editor Preferences 1.0//EN" "http://www.netbeans.org/dtds/EditorPreferences-1_0.dtd">

<editor-preferences>
    <entry name="code-folding-enable" value="true" javaType="java.lang.Boolean" />
</editor-preferences>