nixos-configs/hosts/wim/config/ags/js/bar/fullscreen.js

88 lines
2.9 KiB
JavaScript
Raw Normal View History

2023-10-07 20:41:24 -04:00
import { Widget, Hyprland, Utils, Variable } from '../../imports.js';
2023-10-16 13:55:31 -04:00
const { Box, EventBox, Overlay } = Widget;
2023-10-07 20:41:24 -04:00
const Revealed = Variable(true);
const Hovering = Variable(false);
import { RoundedCorner } from '../screen-corners.js';
import Gesture from './gesture.js';
2023-10-07 20:41:24 -04:00
Hyprland.connect('changed', () => {
Revealed.value = Hyprland.getWorkspace(Hyprland.active.workspace.id)
.hasfullscreen;
});
Hyprland.connect('fullscreen', (_, fullscreen) => Revealed.value = fullscreen);
2023-10-17 23:21:24 -04:00
export default props => Overlay({
overlays: [
RoundedCorner('topleft', { className: 'corner' }),
RoundedCorner('topright', { className: 'corner' }),
],
2023-10-16 13:55:31 -04:00
child: Box({
style: 'min-height: 1px',
hexpand: true,
vertical: true,
children: [
Widget.Revealer({
transition: 'slide_down',
setup: self => self.revealChild = true,
properties: [['timeouts', []]],
connections: [[Revealed, self => {
if (Revealed.value) {
Utils.timeout(2000, () => {
if (Revealed.value)
self.revealChild = false;
});
}
else {
self.revealChild = true;
}
}]],
2023-10-16 13:55:31 -04:00
child: Gesture({
onHover: () => Hovering.value = true,
onHoverLost: self => {
Hovering.value = false;
if (Revealed.value) {
Utils.timeout(2000, () => {
if (!Hovering.value) {
self.get_parent().get_parent().children[1].revealChild = true;
self.get_parent().revealChild = false;
}
});
}
},
...props,
}),
}),
2023-10-07 20:41:24 -04:00
Widget.Revealer({
connections: [[Revealed, self => {
if (Revealed.value) {
Utils.timeout(2000, () => {
if (Revealed.value)
self.revealChild = true;
});
}
else {
self.revealChild = false;
}
}]],
child: EventBox({
onHover: self => {
Hovering.value = true;
self.get_parent().get_parent().children[0].revealChild = true;
self.get_parent().revealChild = false;
},
child: Box({
style: 'min-height: 50px;',
}),
}),
}),
],
}),
2023-10-07 20:41:24 -04:00
});