[
https://issues.jboss.org/browse/JBIDE-13493?page=com.atlassian.jira.plugi...
]
Daniel Azarov commented on JBIDE-13493:
---------------------------------------
Actually, it was specially designed this way.
Yes, name of that element is "Flip Toggle Switch" (from jQuery docs) we just do
not have enough space in Palette for full labels so we show short ones. But, for example
these three words are synonyms, and there is no other "switch" or
"toggle" (If we have many "switch"(es) or "toggle"(s) filter
would show all of them). I do not see any bad things in this approach.
This is common practice to have additional keywords or tags which influence search or
filtering. Just to make things easy to find.
Filter by name of components for new HTML5 Widget Palette
---------------------------------------------------------
Key: JBIDE-13493
URL:
https://issues.jboss.org/browse/JBIDE-13493
Project: Tools (JBoss Tools)
Issue Type: Feature Request
Components: jsp/jsf/xml/html source editing
Reporter: Alexey Kazakov
Assignee: Daniel Azarov
Labels: new_and_noteworthy
Fix For: 4.1.0.Alpha2
Attachments: CollapsibleSet.png, Footer.png, GroupButtons.png, GroupButtons.png,
GroupCheckbox.png, Header.png, scr.png, scr0.png
!scr0.png! !scr.png!
--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators
For more information on JIRA, see:
http://www.atlassian.com/software/jira