[jbosstools-issues] [JBoss JIRA] Moved: (JBIDE-5521) Web Servlet Mapping Dialog should have drop-down list box for Servlet-Name

Web Servlet Mapping Dialog should have drop-down list box for Servlet-Name -------------------------------------------------------------------------- Key: JBIDE-5521 URL: https://jira.jboss.org/jira/browse/JBIDE-5521 Project: Tools (JBoss Tools) Issue Type: Feature Request Reporter: Burr Sutter Priority: Minor Fix For: LATER Attachments: Web_Servlet_Mapping.jpg The Web Servlet Mapping dialog (see screenshot) should have a drop-down list box for Servlet-Name, after all I just entered the servlet into the web.xml using the editor.