mirror of
https://github.com/Theaninova/TheaninovOS.git
synced 2025-12-12 19:46:20 +00:00
77 lines
2.7 KiB
TypeScript
77 lines
2.7 KiB
TypeScript
import Window from "./Window"
|
|
import Gdk from "gi://Gdk"
|
|
import Gtk from "gi://Gtk?version=3.0"
|
|
import options from "options"
|
|
|
|
const TARGET = [Gtk.TargetEntry.new("text/plain", Gtk.TargetFlags.SAME_APP, 0)]
|
|
const scale = (size: number) => (options.overview.scale.value / 100) * size
|
|
const hyprland = await Service.import("hyprland")
|
|
|
|
const dispatch = (args: string) => hyprland.messageAsync(`dispatch ${args}`)
|
|
|
|
const size = (id: number) => {
|
|
const def = { h: 1080, w: 1920 }
|
|
const ws = hyprland.getWorkspace(id)
|
|
if (!ws)
|
|
return def
|
|
|
|
const mon = hyprland.getMonitor(ws.monitorID)
|
|
return mon ? { h: mon.height, w: mon.width } : def
|
|
}
|
|
|
|
export default (id: number) => {
|
|
const fixed = Widget.Fixed()
|
|
|
|
// TODO: early return if position is unchaged
|
|
async function update() {
|
|
const json = await hyprland.messageAsync("j/clients").catch(() => null)
|
|
if (!json)
|
|
return
|
|
|
|
fixed.get_children().forEach(ch => ch.destroy())
|
|
const clients = JSON.parse(json) as typeof hyprland.clients
|
|
clients
|
|
.filter(({ workspace }) => workspace.id === id)
|
|
.forEach(c => {
|
|
const x = c.at[0] - (hyprland.getMonitor(c.monitor)?.x || 0)
|
|
const y = c.at[1] - (hyprland.getMonitor(c.monitor)?.y || 0)
|
|
c.mapped && fixed.put(Window(c), scale(x), scale(y))
|
|
})
|
|
fixed.show_all()
|
|
}
|
|
|
|
return Widget.Box({
|
|
attribute: { id },
|
|
tooltipText: `${id}`,
|
|
class_name: "workspace",
|
|
vpack: "center",
|
|
css: options.overview.scale.bind().as(v => `
|
|
min-width: ${(v / 100) * size(id).w}px;
|
|
min-height: ${(v / 100) * size(id).h}px;
|
|
`),
|
|
setup(box) {
|
|
box.hook(options.overview.scale, update)
|
|
box.hook(hyprland, update, "notify::clients")
|
|
box.hook(hyprland.active.client, update)
|
|
box.hook(hyprland.active.workspace, () => {
|
|
box.toggleClassName("active", hyprland.active.workspace.id === id)
|
|
})
|
|
},
|
|
child: Widget.EventBox({
|
|
expand: true,
|
|
on_primary_click: () => {
|
|
App.closeWindow("overview")
|
|
dispatch(`workspace ${id}`)
|
|
},
|
|
setup: eventbox => {
|
|
eventbox.drag_dest_set(Gtk.DestDefaults.ALL, TARGET, Gdk.DragAction.COPY)
|
|
eventbox.connect("drag-data-received", (_w, _c, _x, _y, data) => {
|
|
const address = new TextDecoder().decode(data.get_data())
|
|
dispatch(`movetoworkspacesilent ${id},address:${address}`)
|
|
})
|
|
},
|
|
child: fixed,
|
|
}),
|
|
})
|
|
}
|