2024-01-30 11:29:07 -05:00
|
|
|
const Bluetooth = await Service.import('bluetooth');
|
2023-12-05 11:35:40 -05:00
|
|
|
|
2024-01-30 11:29:07 -05:00
|
|
|
const { Box, Icon, Label, ListBox, Overlay, Revealer, Scrollable } = Widget;
|
2023-12-05 11:35:40 -05:00
|
|
|
|
2024-01-13 23:38:31 -05:00
|
|
|
import CursorBox from '../misc/cursorbox.ts';
|
2023-12-05 11:35:40 -05:00
|
|
|
|
2023-12-17 00:01:58 -05:00
|
|
|
const SCROLL_THRESH_H = 200;
|
|
|
|
const SCROLL_THRESH_N = 7;
|
2023-12-05 11:35:40 -05:00
|
|
|
|
2024-01-13 11:15:08 -05:00
|
|
|
// Types
|
2024-01-22 10:23:32 -05:00
|
|
|
import { ListBoxRow } from 'types/@girs/gtk-3.0/gtk-3.0.cjs';
|
2024-01-13 23:38:31 -05:00
|
|
|
import { BluetoothDevice as BTDev } from 'types/service/bluetooth.ts';
|
2024-02-21 19:08:55 -05:00
|
|
|
import { DeviceBox, ScrollableGeneric } from 'global-types';
|
2023-12-05 11:35:40 -05:00
|
|
|
|
2024-01-13 11:15:08 -05:00
|
|
|
|
|
|
|
const BluetoothDevice = (dev: BTDev) => Box({
|
2023-12-23 01:14:21 -05:00
|
|
|
class_name: 'menu-item',
|
2023-12-05 11:35:40 -05:00
|
|
|
|
2023-12-23 01:14:21 -05:00
|
|
|
attribute: { dev },
|
2023-12-05 11:35:40 -05:00
|
|
|
|
2023-12-23 01:14:21 -05:00
|
|
|
children: [Revealer({
|
|
|
|
reveal_child: true,
|
2023-12-05 11:35:40 -05:00
|
|
|
transition: 'slide_down',
|
2023-12-23 01:14:21 -05:00
|
|
|
|
2023-12-18 23:20:32 -05:00
|
|
|
child: CursorBox({
|
|
|
|
on_primary_click_release: () => dev.setConnection(true),
|
2023-12-05 11:35:40 -05:00
|
|
|
|
2023-12-23 01:14:21 -05:00
|
|
|
child: Box({
|
|
|
|
hexpand: true,
|
|
|
|
|
|
|
|
children: [
|
|
|
|
Icon({
|
|
|
|
icon: dev.bind('icon_name'),
|
|
|
|
}),
|
|
|
|
|
|
|
|
Label({
|
|
|
|
label: dev.bind('name'),
|
|
|
|
}),
|
|
|
|
|
|
|
|
Icon({
|
|
|
|
icon: 'object-select-symbolic',
|
|
|
|
hexpand: true,
|
|
|
|
hpack: 'end',
|
|
|
|
|
|
|
|
}).hook(dev, (self) => {
|
|
|
|
self.setCss(`opacity: ${dev.paired ?
|
|
|
|
'1' :
|
|
|
|
'0'};
|
|
|
|
`);
|
|
|
|
}),
|
|
|
|
],
|
|
|
|
}),
|
|
|
|
}),
|
|
|
|
})],
|
|
|
|
});
|
2023-12-05 11:35:40 -05:00
|
|
|
|
|
|
|
export const BluetoothMenu = () => {
|
|
|
|
const DevList = new Map();
|
2023-12-23 01:14:21 -05:00
|
|
|
|
2023-12-05 11:35:40 -05:00
|
|
|
const topArrow = Revealer({
|
|
|
|
transition: 'slide_down',
|
2023-12-23 01:14:21 -05:00
|
|
|
|
2023-12-05 11:35:40 -05:00
|
|
|
child: Icon({
|
2024-02-26 16:28:54 -05:00
|
|
|
icon: 'down-large-symbolic',
|
2023-12-23 01:14:21 -05:00
|
|
|
class_name: 'scrolled-indicator',
|
2023-12-05 11:35:40 -05:00
|
|
|
size: 16,
|
|
|
|
css: '-gtk-icon-transform: rotate(180deg);',
|
|
|
|
}),
|
|
|
|
});
|
|
|
|
|
|
|
|
const bottomArrow = Revealer({
|
|
|
|
transition: 'slide_up',
|
2023-12-23 01:14:21 -05:00
|
|
|
|
2023-12-05 11:35:40 -05:00
|
|
|
child: Icon({
|
2024-02-26 16:28:54 -05:00
|
|
|
icon: 'down-large-symbolic',
|
2023-12-23 01:14:21 -05:00
|
|
|
class_name: 'scrolled-indicator',
|
2023-12-05 11:35:40 -05:00
|
|
|
size: 16,
|
|
|
|
}),
|
|
|
|
});
|
|
|
|
|
|
|
|
return Overlay({
|
|
|
|
pass_through: true,
|
2023-12-23 01:14:21 -05:00
|
|
|
|
2023-12-05 11:35:40 -05:00
|
|
|
overlays: [
|
|
|
|
Box({
|
|
|
|
vpack: 'start',
|
|
|
|
hpack: 'center',
|
|
|
|
css: 'margin-top: 12px',
|
|
|
|
children: [topArrow],
|
|
|
|
}),
|
|
|
|
|
|
|
|
Box({
|
|
|
|
vpack: 'end',
|
|
|
|
hpack: 'center',
|
|
|
|
css: 'margin-bottom: 12px',
|
|
|
|
children: [bottomArrow],
|
|
|
|
}),
|
|
|
|
],
|
|
|
|
|
|
|
|
child: Box({
|
2023-12-23 01:14:21 -05:00
|
|
|
class_name: 'menu',
|
2023-12-05 11:35:40 -05:00
|
|
|
|
|
|
|
child: Scrollable({
|
|
|
|
hscroll: 'never',
|
|
|
|
vscroll: 'never',
|
|
|
|
|
2023-12-17 00:01:58 -05:00
|
|
|
setup: (self) => {
|
|
|
|
self.on('edge-reached', (_, pos) => {
|
|
|
|
// Manage scroll indicators
|
|
|
|
if (pos === 2) {
|
2023-12-23 01:14:21 -05:00
|
|
|
topArrow.reveal_child = false;
|
|
|
|
bottomArrow.reveal_child = true;
|
2023-12-17 00:01:58 -05:00
|
|
|
}
|
|
|
|
else if (pos === 3) {
|
2023-12-23 01:14:21 -05:00
|
|
|
topArrow.reveal_child = true;
|
|
|
|
bottomArrow.reveal_child = false;
|
2023-12-17 00:01:58 -05:00
|
|
|
}
|
|
|
|
});
|
|
|
|
},
|
2023-12-05 11:35:40 -05:00
|
|
|
|
|
|
|
child: ListBox({
|
|
|
|
setup: (self) => {
|
2024-01-13 11:15:08 -05:00
|
|
|
self.set_sort_func((a, b) => {
|
2024-02-21 19:08:55 -05:00
|
|
|
const bState = (b.get_children()[0] as DeviceBox)
|
2024-01-13 11:15:08 -05:00
|
|
|
.attribute.dev.paired;
|
|
|
|
|
2024-02-21 19:08:55 -05:00
|
|
|
const aState = (a.get_children()[0] as DeviceBox)
|
2024-01-13 11:15:08 -05:00
|
|
|
.attribute.dev.paired;
|
|
|
|
|
|
|
|
return bState - aState;
|
|
|
|
});
|
2023-12-05 11:35:40 -05:00
|
|
|
|
2023-12-17 00:01:58 -05:00
|
|
|
self.hook(Bluetooth, () => {
|
|
|
|
// Get all devices
|
2023-12-23 01:14:21 -05:00
|
|
|
const Devices = Bluetooth.devices.concat(
|
|
|
|
Bluetooth.connected_devices,
|
2023-12-17 00:01:58 -05:00
|
|
|
);
|
2023-12-05 11:35:40 -05:00
|
|
|
|
2023-12-17 00:01:58 -05:00
|
|
|
// Add missing devices
|
|
|
|
Devices.forEach((dev) => {
|
|
|
|
if (!DevList.has(dev) && dev.name) {
|
|
|
|
DevList.set(dev, BluetoothDevice(dev));
|
2023-12-05 11:35:40 -05:00
|
|
|
|
2023-12-17 00:01:58 -05:00
|
|
|
self.add(DevList.get(dev));
|
|
|
|
self.show_all();
|
|
|
|
}
|
|
|
|
});
|
2023-12-05 11:35:40 -05:00
|
|
|
|
2023-12-17 00:01:58 -05:00
|
|
|
// Delete ones that don't exist anymore
|
|
|
|
const difference = Array.from(DevList.keys())
|
|
|
|
.filter((dev) => !Devices
|
|
|
|
.find((d) => dev === d) &&
|
2023-12-05 11:35:40 -05:00
|
|
|
dev.name);
|
|
|
|
|
2023-12-17 00:01:58 -05:00
|
|
|
difference.forEach((dev) => {
|
|
|
|
const devWidget = DevList.get(dev);
|
|
|
|
|
|
|
|
if (devWidget) {
|
|
|
|
if (devWidget.toDestroy) {
|
|
|
|
devWidget.get_parent().destroy();
|
|
|
|
DevList.delete(dev);
|
|
|
|
}
|
|
|
|
else {
|
2024-01-06 12:24:09 -05:00
|
|
|
devWidget.child.reveal_child = false;
|
2023-12-17 00:01:58 -05:00
|
|
|
devWidget.toDestroy = true;
|
|
|
|
}
|
2023-12-05 11:35:40 -05:00
|
|
|
}
|
2023-12-17 00:01:58 -05:00
|
|
|
});
|
|
|
|
|
|
|
|
// Start scrolling after a specified height
|
|
|
|
// is reached by the children
|
|
|
|
const height = Math.max(
|
2023-12-23 01:14:21 -05:00
|
|
|
self.get_parent()?.get_allocated_height() || 0,
|
2023-12-17 00:01:58 -05:00
|
|
|
SCROLL_THRESH_H,
|
|
|
|
);
|
|
|
|
|
2024-01-13 11:15:08 -05:00
|
|
|
const scroll = (self.get_parent() as ListBoxRow)
|
2024-02-21 19:08:55 -05:00
|
|
|
?.get_parent() as ScrollableGeneric;
|
2023-12-23 01:14:21 -05:00
|
|
|
|
|
|
|
if (scroll) {
|
|
|
|
const n_child = self.get_children().length;
|
2023-12-17 00:01:58 -05:00
|
|
|
|
2023-12-23 01:14:21 -05:00
|
|
|
if (n_child > SCROLL_THRESH_N) {
|
|
|
|
scroll.vscroll = 'always';
|
|
|
|
scroll.setCss(`min-height: ${height}px;`);
|
2023-12-17 00:01:58 -05:00
|
|
|
|
2023-12-23 01:14:21 -05:00
|
|
|
// Make bottom scroll indicator appear only
|
|
|
|
// when first getting overflowing children
|
|
|
|
if (!(bottomArrow.reveal_child === true ||
|
|
|
|
topArrow.reveal_child === true)) {
|
|
|
|
bottomArrow.reveal_child = true;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
scroll.vscroll = 'never';
|
|
|
|
scroll.setCss('');
|
|
|
|
topArrow.reveal_child = false;
|
|
|
|
bottomArrow.reveal_child = false;
|
2023-12-05 11:35:40 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-12-17 00:01:58 -05:00
|
|
|
// Trigger sort_func
|
2024-01-13 11:15:08 -05:00
|
|
|
(self.get_children() as Array<ListBoxRow>)
|
|
|
|
.forEach((ch) => {
|
|
|
|
ch.changed();
|
|
|
|
});
|
2023-12-05 11:35:40 -05:00
|
|
|
});
|
2023-12-17 00:01:58 -05:00
|
|
|
},
|
2023-12-05 11:35:40 -05:00
|
|
|
}),
|
|
|
|
}),
|
|
|
|
}),
|
|
|
|
});
|
|
|
|
};
|