add settings name hover/pop
This commit is contained in:
parent
f2b1674887
commit
777f118f0f
5 changed files with 39 additions and 8 deletions
|
|
@ -158,8 +158,6 @@
|
|||
if (KIRI.work.isSlicing()) KIRI.work.restart();
|
||||
// kill any poppers in compact mode
|
||||
UC.hidePoppers();
|
||||
// hide layers menu
|
||||
// UI.layers.style.display = 'none';
|
||||
break;
|
||||
}
|
||||
return false;
|
||||
|
|
@ -1165,6 +1163,7 @@
|
|||
toolTaperTip: $('tool-ttip'),
|
||||
toolMetric: $('tool-metric'),
|
||||
|
||||
setNow: $('set-now'),
|
||||
setMenu: $('set-menu'),
|
||||
settings: $('settings'),
|
||||
settingsBody: $('settingsBody'),
|
||||
|
|
@ -1585,6 +1584,10 @@
|
|||
API.space.reload();
|
||||
};
|
||||
|
||||
$('set-top').onmouseover = () => {
|
||||
UC.hidePoppers();
|
||||
};
|
||||
|
||||
SPACE.addEventHandlers(self, [
|
||||
'keyup', keyUpHandler,
|
||||
'keydown', keyDownHandler,
|
||||
|
|
|
|||
Loading…
Reference in a new issue