Consistent names needed in view.js and extensionmanager.js
The naming of Tabs, TabContainers, ExtensionTabs and ExtensionButtons
(etc)
is not consistent.
A distinct and clear naming is necessary!
(from redmine: issue id 830, created on 2012-02-18 by root, closed on 2012-04-18)
- Relations:
- relates #866