Add tooltips to DevTools buttons (#9224)

This commit is contained in:
winterdaze
2019-06-27 15:43:48 +02:00
committed by Tomas Slusny
parent 8d4fff459c
commit 6e1a7d74cc
@@ -37,6 +37,7 @@ class DevToolsButton extends JButton
{
super(title);
addActionListener((ev) -> setActive(!active));
this.setToolTipText(title);
}
void setActive(boolean active)