2023-11-21 01:29:46 -05:00
|
|
|
import App from 'resource:///com/github/Aylur/ags/app.js';
|
2023-10-31 08:32:40 -04:00
|
|
|
import Applications from 'resource:///com/github/Aylur/ags/service/applications.js';
|
2023-12-07 01:18:47 -05:00
|
|
|
// TODO: find cleaner way to import this
|
|
|
|
import { Fzf } from '../../node_modules/fzf/dist/fzf.es.js';
|
2023-10-31 08:32:40 -04:00
|
|
|
|
2023-12-18 20:23:09 -05:00
|
|
|
import { Box, Entry, Icon, Label, ListBox, Revealer, Scrollable } from 'resource:///com/github/Aylur/ags/widget.js';
|
2023-09-29 03:36:48 -04:00
|
|
|
|
2023-10-17 13:47:02 -04:00
|
|
|
import PopupWindow from '../misc/popup.js';
|
2023-11-13 15:19:49 -05:00
|
|
|
import AppItem from './app-item.js';
|
2023-09-29 03:36:48 -04:00
|
|
|
|
2023-12-20 17:14:07 -05:00
|
|
|
/**
|
|
|
|
* @typedef {import('types/service/applications.js').Application} App
|
|
|
|
* @typedef {typeof imports.gi.Gtk.ListBoxRow} ListBoxRow
|
|
|
|
*/
|
2023-12-20 03:45:05 -05:00
|
|
|
|
2023-09-29 03:36:48 -04:00
|
|
|
|
2024-01-10 20:10:14 -05:00
|
|
|
const Applauncher = (window_name = 'applauncher') => {
|
2023-12-20 03:45:05 -05:00
|
|
|
/** @type Array<any> */
|
2023-12-07 01:18:47 -05:00
|
|
|
let fzfResults;
|
2023-12-30 19:49:08 -05:00
|
|
|
const list = ListBox({});
|
2023-12-09 12:12:43 -05:00
|
|
|
|
2023-12-18 18:00:30 -05:00
|
|
|
/** @param {String} text */
|
2023-12-07 01:18:47 -05:00
|
|
|
const setSort = (text) => {
|
|
|
|
const fzf = new Fzf(Applications.list, {
|
2024-01-10 20:10:14 -05:00
|
|
|
selector: /** @param {App} app */ (app) => {
|
|
|
|
return app.name + app.executable;
|
|
|
|
},
|
2023-12-20 03:45:05 -05:00
|
|
|
tiebreakers: [
|
|
|
|
/**
|
|
|
|
* @param {App} a
|
|
|
|
* @param {App} b
|
|
|
|
*/
|
|
|
|
(a, b) => b.frequency - a.frequency,
|
|
|
|
],
|
2023-12-07 01:18:47 -05:00
|
|
|
});
|
|
|
|
|
|
|
|
fzfResults = fzf.find(text);
|
2023-12-20 17:14:07 -05:00
|
|
|
list.set_sort_func(
|
|
|
|
/**
|
|
|
|
* @param {ListBoxRow} a
|
|
|
|
* @param {ListBoxRow} b
|
|
|
|
*/
|
|
|
|
(a, b) => {
|
|
|
|
const row1 = a.get_children()[0]?.attribute.app.name;
|
|
|
|
const row2 = b.get_children()[0]?.attribute.app.name;
|
|
|
|
|
|
|
|
if (!row1 || !row2) {
|
|
|
|
return 0;
|
|
|
|
}
|
2023-12-07 01:18:47 -05:00
|
|
|
|
2023-12-20 17:14:07 -05:00
|
|
|
return fzfResults.indexOf(row1) -
|
2023-12-07 01:18:47 -05:00
|
|
|
fzfResults.indexOf(row1) || 0;
|
2023-12-20 17:14:07 -05:00
|
|
|
},
|
|
|
|
);
|
2023-12-07 01:18:47 -05:00
|
|
|
};
|
|
|
|
|
|
|
|
const makeNewChildren = () => {
|
2023-12-20 03:45:05 -05:00
|
|
|
/** @type Array<typeof imports.gi.Gtk.ListBoxRow> */
|
|
|
|
const rows = list.get_children();
|
|
|
|
|
|
|
|
rows.forEach((ch) => {
|
2023-12-07 01:18:47 -05:00
|
|
|
ch.destroy();
|
|
|
|
});
|
|
|
|
|
2023-12-09 12:12:43 -05:00
|
|
|
const children = Applications.query('')
|
|
|
|
.flatMap((app) => AppItem(app));
|
2023-11-21 01:29:46 -05:00
|
|
|
|
2023-12-09 12:12:43 -05:00
|
|
|
children.forEach((ch) => {
|
|
|
|
list.add(ch);
|
|
|
|
});
|
|
|
|
list.show_all();
|
2023-12-07 01:18:47 -05:00
|
|
|
};
|
2023-09-29 03:36:48 -04:00
|
|
|
|
2023-12-07 01:18:47 -05:00
|
|
|
makeNewChildren();
|
2023-11-13 15:19:49 -05:00
|
|
|
|
2023-12-18 20:23:09 -05:00
|
|
|
const placeholder = Revealer({
|
|
|
|
child: Label({
|
|
|
|
label: " Couldn't find a match",
|
|
|
|
class_name: 'placeholder',
|
|
|
|
}),
|
2023-11-21 01:29:46 -05:00
|
|
|
});
|
|
|
|
|
2023-10-20 23:11:21 -04:00
|
|
|
const entry = Entry({
|
2023-11-21 01:29:46 -05:00
|
|
|
// Set some text so on-change works the first time
|
|
|
|
text: '-',
|
2023-10-20 23:11:21 -04:00
|
|
|
hexpand: true,
|
2023-11-13 15:19:49 -05:00
|
|
|
|
|
|
|
on_accept: ({ text }) => {
|
2023-11-21 01:29:46 -05:00
|
|
|
const appList = Applications.query(text || '');
|
|
|
|
|
|
|
|
if (appList[0]) {
|
2023-12-07 01:18:47 -05:00
|
|
|
App.closeWindow(window_name);
|
2023-12-21 01:25:59 -05:00
|
|
|
appList[0].launch();
|
2023-10-20 23:11:21 -04:00
|
|
|
}
|
|
|
|
},
|
2023-11-21 01:29:46 -05:00
|
|
|
|
2023-11-13 15:19:49 -05:00
|
|
|
on_change: ({ text }) => {
|
2023-12-18 23:20:32 -05:00
|
|
|
if (text === null) {
|
2023-12-18 18:00:30 -05:00
|
|
|
return;
|
|
|
|
}
|
2023-12-07 01:18:47 -05:00
|
|
|
setSort(text);
|
2023-11-13 15:19:49 -05:00
|
|
|
let visibleApps = 0;
|
2023-11-21 01:29:46 -05:00
|
|
|
|
2023-12-20 17:14:07 -05:00
|
|
|
/** @type Array<ListBoxRow> */
|
2023-12-20 03:45:05 -05:00
|
|
|
const rows = list.get_children();
|
|
|
|
|
|
|
|
rows.forEach((row) => {
|
2023-12-07 01:18:47 -05:00
|
|
|
row.changed();
|
|
|
|
|
2023-12-09 12:12:43 -05:00
|
|
|
const item = row.get_children()[0];
|
2023-12-07 01:18:47 -05:00
|
|
|
|
2023-12-18 18:00:30 -05:00
|
|
|
if (item?.attribute.app) {
|
2023-12-20 03:45:05 -05:00
|
|
|
const isMatching = fzfResults.find((r) => {
|
2023-12-18 18:00:30 -05:00
|
|
|
return r.item.name === item.attribute.app.name;
|
2023-12-07 01:18:47 -05:00
|
|
|
});
|
|
|
|
|
|
|
|
row.visible = isMatching;
|
2023-09-29 03:36:48 -04:00
|
|
|
|
2023-12-07 01:18:47 -05:00
|
|
|
if (isMatching) {
|
2023-11-13 15:19:49 -05:00
|
|
|
++visibleApps;
|
2023-11-21 01:29:46 -05:00
|
|
|
}
|
2023-11-13 15:19:49 -05:00
|
|
|
}
|
|
|
|
});
|
2023-12-18 20:23:09 -05:00
|
|
|
placeholder.reveal_child = visibleApps <= 0;
|
2023-10-20 23:11:21 -04:00
|
|
|
},
|
|
|
|
});
|
2023-09-29 03:36:48 -04:00
|
|
|
|
2023-10-20 23:11:21 -04:00
|
|
|
return Box({
|
2023-12-18 18:00:30 -05:00
|
|
|
class_name: 'applauncher',
|
2023-10-20 23:11:21 -04:00
|
|
|
vertical: true,
|
2023-11-21 01:29:46 -05:00
|
|
|
|
2023-12-17 00:01:58 -05:00
|
|
|
setup: (self) => {
|
|
|
|
self.hook(App, (_, name, visible) => {
|
|
|
|
if (name !== window_name) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
entry.text = '';
|
|
|
|
|
|
|
|
if (visible) {
|
|
|
|
entry.grab_focus();
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
makeNewChildren();
|
|
|
|
}
|
|
|
|
});
|
|
|
|
},
|
|
|
|
|
2023-09-29 03:36:48 -04:00
|
|
|
children: [
|
2023-10-20 23:11:21 -04:00
|
|
|
Box({
|
2023-12-18 18:00:30 -05:00
|
|
|
class_name: 'header',
|
2023-10-20 23:11:21 -04:00
|
|
|
children: [
|
2023-11-13 15:19:49 -05:00
|
|
|
Icon('preferences-system-search-symbolic'),
|
2023-10-20 23:11:21 -04:00
|
|
|
entry,
|
|
|
|
],
|
|
|
|
}),
|
2023-11-13 15:19:49 -05:00
|
|
|
|
2023-10-20 23:11:21 -04:00
|
|
|
Scrollable({
|
|
|
|
hscroll: 'never',
|
2023-12-12 23:15:13 -05:00
|
|
|
vscroll: 'automatic',
|
2023-10-20 23:11:21 -04:00
|
|
|
child: Box({
|
|
|
|
vertical: true,
|
|
|
|
children: [list, placeholder],
|
|
|
|
}),
|
|
|
|
}),
|
2023-09-29 03:36:48 -04:00
|
|
|
],
|
2023-10-20 23:11:21 -04:00
|
|
|
});
|
2023-09-29 03:36:48 -04:00
|
|
|
};
|
|
|
|
|
2023-10-16 18:11:19 -04:00
|
|
|
export default () => PopupWindow({
|
2023-10-20 23:11:21 -04:00
|
|
|
name: 'applauncher',
|
|
|
|
focusable: true,
|
|
|
|
child: Applauncher(),
|
2023-09-29 03:36:48 -04:00
|
|
|
});
|