music: fix channel mute op name
This commit is contained in:
@@ -573,7 +573,7 @@ public class MusicPlugin extends Plugin
|
|||||||
// emulate [proc,settings_update_icon]
|
// emulate [proc,settings_update_icon]
|
||||||
boolean unmuted = val != 0;
|
boolean unmuted = val != 0;
|
||||||
icon.getChild(1).setHidden(unmuted);
|
icon.getChild(1).setHidden(unmuted);
|
||||||
icon.setAction(0, unmuted ? "Unmute" : "Mute");
|
icon.setAction(0, unmuted ? "Mute" : "Unmute");
|
||||||
// Set name + no tooltip; we have our own for ops
|
// Set name + no tooltip; we have our own for ops
|
||||||
icon.setName(channel.getName());
|
icon.setName(channel.getName());
|
||||||
icon.setOnMouseRepeatListener((Object[]) null);
|
icon.setOnMouseRepeatListener((Object[]) null);
|
||||||
|
|||||||
Reference in New Issue
Block a user