#65: Create preference pages for warnings/errors
---------------------------------+------------------------------------------
Reporter: cwilliams | Owner: zdennis
Type: enhancement | Status: new
Priority: normal | Milestone: 1.0
Component: Editor | Version: 0.7.0-d
Severity: normal | Keywords: preferences page warnings
severity
Ticket_dependency: |
---------------------------------+------------------------------------------
The JDT allows users to classify warnings as different severities -
error/warning/ignore. We should allow users to make those choices for any
non syntax-errors we mark.
--
Ticket URL: <http://rubyeclipse.mktec.com/cgi-bin/trac.py/ticket/65>
RDT (RubyEclipse) <http://rubyeclipse.mktec.com>
Eclipse Ruby Plugin