Add tooltips to DevTools buttons (#9224)

This commit is contained in:
winterdaze
2019-06-29 00:25:46 +02:00
committed by sdburns1998
parent 94b35239b8
commit a2f643db44
@@ -37,6 +37,7 @@ class DevToolsButton extends JButton
{
super(title);
addActionListener((ev) -> setActive(!active));
this.setToolTipText(title);
}
void setActive(boolean active)