* Implemented strict linting standards and prettier formatting config. * More linter fixes and type updates. * More linter updates and type fixes * Remove noisy comments * Linter and type updates * Linter, formatting and type updates. * Linter updates * Type updates * Type updates * fixed all linter errors * Fixed all linting, formatting and type issues. * Resolve merge conflicts.
192 lines
7.3 KiB
TypeScript
192 lines
7.3 KiB
TypeScript
const hyprland = await Service.import('hyprland');
|
|
import { DropdownMenuProps } from 'lib/types/dropdownmenu';
|
|
import { Attribute, Child, Exclusivity, GtkWidget } from 'lib/types/widget';
|
|
import { bash } from 'lib/utils';
|
|
import { Widget as TWidget } from 'types/@girs/gtk-3.0/gtk-3.0.cjs';
|
|
import { Monitor } from 'types/service/hyprland';
|
|
import Box from 'types/widgets/box';
|
|
import EventBox from 'types/widgets/eventbox';
|
|
import Revealer from 'types/widgets/revealer';
|
|
import Window from 'types/widgets/window';
|
|
|
|
type NestedRevealer = Revealer<Box<TWidget, unknown>, unknown>;
|
|
type NestedBox = Box<NestedRevealer, unknown>;
|
|
type NestedEventBox = EventBox<NestedBox, unknown>;
|
|
|
|
export const Padding = (name: string): EventBox<Box<GtkWidget, Attribute>, Attribute> =>
|
|
Widget.EventBox({
|
|
hexpand: true,
|
|
vexpand: true,
|
|
can_focus: true,
|
|
child: Widget.Box(),
|
|
setup: (w) => w.on('button-press-event', () => App.toggleWindow(name)),
|
|
});
|
|
|
|
const moveBoxToCursor = <T extends NestedEventBox>(self: T, fixed: boolean): void => {
|
|
if (fixed) {
|
|
return;
|
|
}
|
|
|
|
globalMousePos.connect('changed', async ({ value }) => {
|
|
const curHyprlandMonitor = hyprland.monitors.find((m) => m.id === hyprland.active.monitor.id);
|
|
const dropdownWidth = self.child.get_allocation().width;
|
|
|
|
let hyprScaling = 1;
|
|
try {
|
|
const monitorInfo = await bash('hyprctl monitors -j');
|
|
const parsedMonitorInfo = JSON.parse(monitorInfo);
|
|
|
|
const foundMonitor = parsedMonitorInfo.find(
|
|
(monitor: Monitor) => monitor.id === hyprland.active.monitor.id,
|
|
);
|
|
hyprScaling = foundMonitor?.scale || 1;
|
|
} catch (error) {
|
|
console.error(`Error parsing hyprland monitors: ${error}`);
|
|
}
|
|
|
|
let monWidth = curHyprlandMonitor?.width;
|
|
let monHeight = curHyprlandMonitor?.height;
|
|
|
|
if (monWidth === undefined || monHeight === undefined || hyprScaling === undefined) {
|
|
return;
|
|
}
|
|
|
|
// If GDK Scaling is applied, then get divide width by scaling
|
|
// to get the proper coordinates.
|
|
// Ex: On a 2860px wide monitor... if scaling is set to 2, then the right
|
|
// end of the monitor is the 1430th pixel.
|
|
const gdkScale = Utils.exec('bash -c "echo $GDK_SCALE"');
|
|
|
|
if (/^\d+(.\d+)?$/.test(gdkScale)) {
|
|
const scale = parseFloat(gdkScale);
|
|
monWidth = monWidth / scale;
|
|
monHeight = monHeight / scale;
|
|
} else {
|
|
monWidth = monWidth / hyprScaling;
|
|
monHeight = monHeight / hyprScaling;
|
|
}
|
|
|
|
// If monitor is vertical (transform = 1 || 3) swap height and width
|
|
const isVertical = curHyprlandMonitor?.transform !== undefined ? curHyprlandMonitor.transform % 2 !== 0 : false;
|
|
|
|
if (isVertical) {
|
|
[monWidth, monHeight] = [monHeight, monWidth];
|
|
}
|
|
|
|
let marginRight = monWidth - dropdownWidth / 2;
|
|
marginRight = fixed ? marginRight - monWidth / 2 : marginRight - value[0];
|
|
let marginLeft = monWidth - dropdownWidth - marginRight;
|
|
|
|
const minimumMargin = 0;
|
|
|
|
if (marginRight < minimumMargin) {
|
|
marginRight = minimumMargin;
|
|
marginLeft = monWidth - dropdownWidth - minimumMargin;
|
|
}
|
|
|
|
if (marginLeft < minimumMargin) {
|
|
marginLeft = minimumMargin;
|
|
marginRight = monWidth - dropdownWidth - minimumMargin;
|
|
}
|
|
|
|
const marginTop = 45;
|
|
const marginBottom = monHeight - marginTop;
|
|
self.set_margin_left(marginLeft);
|
|
self.set_margin_right(marginRight);
|
|
self.set_margin_bottom(marginBottom);
|
|
});
|
|
};
|
|
|
|
// NOTE: We make the window visible for 2 seconds (on startup) so the child
|
|
// elements can allocat their proper dimensions.
|
|
// Otherwise the width that we rely on for menu positioning is set improperly
|
|
// for the first time we open a menu of each type.
|
|
const initRender = Variable(true);
|
|
|
|
setTimeout(() => {
|
|
initRender.value = false;
|
|
}, 2000);
|
|
|
|
export default ({
|
|
name,
|
|
child,
|
|
transition,
|
|
exclusivity = 'ignore' as Exclusivity,
|
|
fixed = false,
|
|
...props
|
|
}: DropdownMenuProps): Window<Child, Attribute> =>
|
|
Widget.Window({
|
|
name,
|
|
class_names: [name, 'dropdown-menu'],
|
|
setup: (w) => w.keybind('Escape', () => App.closeWindow(name)),
|
|
visible: initRender.bind('value'),
|
|
keymode: 'on-demand',
|
|
exclusivity,
|
|
layer: 'top',
|
|
anchor: ['top', 'left'],
|
|
child: Widget.EventBox({
|
|
class_name: 'parent-event',
|
|
on_primary_click: () => App.closeWindow(name),
|
|
on_secondary_click: () => App.closeWindow(name),
|
|
child: Widget.Box({
|
|
class_name: 'top-eb',
|
|
vertical: true,
|
|
children: [
|
|
Widget.EventBox({
|
|
class_name: 'mid-eb event-top-padding-static',
|
|
hexpand: true,
|
|
vexpand: false,
|
|
can_focus: false,
|
|
child: Widget.Box(),
|
|
setup: (w) => {
|
|
w.on('button-press-event', () => App.toggleWindow(name));
|
|
w.set_margin_top(1);
|
|
},
|
|
}),
|
|
Widget.EventBox({
|
|
class_name: 'mid-eb event-top-padding',
|
|
hexpand: true,
|
|
vexpand: false,
|
|
can_focus: false,
|
|
child: Widget.Box(),
|
|
setup: (w) => {
|
|
w.on('button-press-event', () => App.toggleWindow(name));
|
|
w.set_margin_top(1);
|
|
},
|
|
}),
|
|
Widget.EventBox({
|
|
class_name: 'in-eb menu-event-box',
|
|
on_primary_click: () => {
|
|
return true;
|
|
},
|
|
on_secondary_click: () => {
|
|
return true;
|
|
},
|
|
setup: (self) => {
|
|
moveBoxToCursor(self, fixed);
|
|
},
|
|
child: Widget.Box({
|
|
class_name: 'dropdown-menu-container',
|
|
css: 'padding: 1px; margin: -1px;',
|
|
child: Widget.Revealer({
|
|
revealChild: false,
|
|
setup: (self) =>
|
|
self.hook(App, (_, wname, visible) => {
|
|
if (wname === name) self.reveal_child = visible;
|
|
}),
|
|
transition,
|
|
transitionDuration: 350,
|
|
child: Widget.Box({
|
|
class_name: 'dropdown-menu-container',
|
|
can_focus: true,
|
|
children: [child],
|
|
}),
|
|
}),
|
|
}),
|
|
}),
|
|
],
|
|
}),
|
|
}),
|
|
...props,
|
|
});
|