Plugin Console Bugfix
This commit is contained in:
parent
6a121dd9e1
commit
18e1c101fd
1 changed files with 5 additions and 1 deletions
|
@ -131,7 +131,11 @@ public final class PluginManager
|
||||||
}
|
}
|
||||||
|
|
||||||
console.setConsoleID(id);
|
console.setConsoleID(id);
|
||||||
activeTabbedConsole.addConsole(console.getComponent(0), activePlugin.activeContainer.name);
|
|
||||||
|
final String name = (activePlugin == null || activePlugin.activeContainer == null)
|
||||||
|
? console.getTitle() : activePlugin.activeContainer.name;
|
||||||
|
|
||||||
|
activeTabbedConsole.addConsole(console.getComponent(0), name);
|
||||||
}
|
}
|
||||||
|
|
||||||
public static void register(String name, PluginLaunchStrategy strat) {
|
public static void register(String name, PluginLaunchStrategy strat) {
|
||||||
|
|
Loading…
Reference in a new issue