Hide plugin menu if empty

public/src/js/plugins.js

@@ -151,6 +151,15 @@ class Plugins{
 		return input.slice(0, index) + insertedText + input.slice(index + searchString.length)
 	}
 	
+	hasSettings(){
+		for(var i = 0; i < this.allPlugins.length; i++){
+			var plugin = this.allPlugins[i].plugin
+			if(plugin.loaded && (!plugin.hide || plugin.settings())){
+				return true
+			}
+		}
+		return false
+	}
 	getSettings(){
 		var items = []
 		for(var i = 0; i < this.allPlugins.length; i++){

public/src/js/songselect.js

@@ -161,7 +161,7 @@ class SongSelect{
 				category: strings.random
 			})
 		}
-		if(plugins.allPlugins.length){
+		if(plugins.hasSettings()){
 			this.songs.push({
 				title: strings.plugins.title,
 				skin: this.songSkin.plugins,