#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