/**
* Updates button's text. It composes text as combination of tool window <code>id</code> and short
* cut registered in the key map.
*/
void updateText() {
final String toolWindowId = getWindowInfo().getId();
String text = toolWindowId;
if (UISettings.getInstance().SHOW_TOOL_WINDOW_NUMBERS) {
final int mnemonic = ActivateToolWindowAction.getMnemonicForToolWindow(toolWindowId);
if (mnemonic != -1) {
text = ((char) mnemonic) + ": " + text;
setMnemonic2(mnemonic);
} else {
setMnemonic2(0);
}
}
setText(text);
}
