2023-10-31 08:32:40 -04:00
|
|
|
import Hyprland from 'resource:///com/github/Aylur/ags/service/hyprland.js';
|
2023-11-21 01:29:46 -05:00
|
|
|
|
2023-10-31 08:32:40 -04:00
|
|
|
import { Box } from 'resource:///com/github/Aylur/ags/widget.js';
|
2023-10-30 22:00:46 -04:00
|
|
|
import * as VARS from './variables.js';
|
|
|
|
|
2023-11-21 01:29:46 -05:00
|
|
|
const PADDING = 34;
|
|
|
|
const MARGIN = 9;
|
2023-10-30 22:00:46 -04:00
|
|
|
const DEFAULT_STYLE = `
|
|
|
|
min-width: ${VARS.SCREEN.X * VARS.SCALE}px;
|
2023-11-21 01:29:46 -05:00
|
|
|
min-height: ${(VARS.SCREEN.Y * VARS.SCALE) - (VARS.MARGIN / 2)}px;
|
2023-10-30 22:00:46 -04:00
|
|
|
border-radius: 10px;
|
|
|
|
`;
|
|
|
|
|
2023-12-23 01:14:21 -05:00
|
|
|
/**
|
|
|
|
* @typedef {import('types/widgets/box').default} Box
|
|
|
|
* @typedef {import('types/widgets/revealer').default} Revealer
|
|
|
|
*/
|
|
|
|
|
2023-10-30 22:00:46 -04:00
|
|
|
|
|
|
|
export const Highlighter = () => Box({
|
2023-11-07 10:56:12 -05:00
|
|
|
vpack: 'start',
|
|
|
|
hpack: 'start',
|
2023-12-23 01:14:21 -05:00
|
|
|
class_name: 'workspace active',
|
2023-11-07 10:56:12 -05:00
|
|
|
css: DEFAULT_STYLE,
|
2023-10-30 22:00:46 -04:00
|
|
|
});
|
|
|
|
|
2023-12-23 01:14:21 -05:00
|
|
|
/**
|
|
|
|
* @param {Box} main
|
|
|
|
* @param {Box} highlighter
|
|
|
|
*/
|
2023-11-07 12:31:39 -05:00
|
|
|
export const updateCurrentWorkspace = (main, highlighter) => {
|
2023-10-30 22:00:46 -04:00
|
|
|
const currentId = Hyprland.active.workspace.id;
|
|
|
|
const row = Math.floor((currentId - 1) / VARS.WORKSPACE_PER_ROW);
|
|
|
|
|
2023-12-23 01:14:21 -05:00
|
|
|
// @ts-expect-error
|
2023-11-07 12:31:39 -05:00
|
|
|
const rowObject = main.children[0].children[row];
|
2023-11-21 01:29:46 -05:00
|
|
|
const workspaces = rowObject.child.centerWidget.child
|
2023-12-23 01:14:21 -05:00
|
|
|
.get_children().filter(
|
|
|
|
/** @param {Revealer} w */
|
|
|
|
(w) => w.reveal_child,
|
|
|
|
);
|
|
|
|
|
|
|
|
const currentIndex = workspaces.findIndex(
|
|
|
|
/** @param {Revealer} w */
|
|
|
|
(w) => w.attribute.id === currentId,
|
|
|
|
);
|
2023-11-21 01:29:46 -05:00
|
|
|
const left = currentIndex * ((VARS.SCREEN.X * VARS.SCALE) + PADDING);
|
|
|
|
const height = row * ((VARS.SCREEN.Y * VARS.SCALE) + (PADDING / 2));
|
2023-10-30 22:00:46 -04:00
|
|
|
|
2023-11-07 12:31:39 -05:00
|
|
|
highlighter.setCss(`
|
2023-10-30 22:00:46 -04:00
|
|
|
${DEFAULT_STYLE}
|
2023-11-21 01:29:46 -05:00
|
|
|
margin-left: ${MARGIN + left}px;
|
|
|
|
margin-top: ${MARGIN + height}px;
|
2023-10-30 22:00:46 -04:00
|
|
|
`);
|
|
|
|
};
|