Plugin manager window does not need tabs any more

GateNLP / gate-core

The GATE Embedded core API and GATE Developer application

GNU Lesser General Public License v3.0

76 stars 29 forks source link

Plugin manager window does not need tabs any more #35

Closed johann-petrak closed 6 years ago

johann-petrak commented 6 years ago

The Plugin Manager window still shows the tab "Installed Plugins": this is both misleading (since the list now shows the available standard plugins) and unnecessary, since there are no other tabs any more.