2023-10-31 08:32:40 -04:00
|
|
|
import { Box, Label, Revealer } from 'resource:///com/github/Aylur/ags/widget.js';
|
2023-10-02 12:06:35 -04:00
|
|
|
|
2023-11-21 01:29:46 -05:00
|
|
|
import ButtonGrid from './button-grid.js';
|
|
|
|
import SliderBox from './slider-box.js';
|
|
|
|
import Player from '../media-player/player.js';
|
|
|
|
import PopupWindow from '../misc/popup.js';
|
2023-10-18 11:53:49 -04:00
|
|
|
import ToggleButton from './toggle-button.js';
|
2023-09-12 14:22:21 -04:00
|
|
|
|
2023-10-02 12:06:35 -04:00
|
|
|
|
2023-11-16 15:02:00 -05:00
|
|
|
const QuickSettingsWidget = () => {
|
|
|
|
const rev = Revealer({
|
|
|
|
transition: 'slide_down',
|
|
|
|
child: Player(),
|
|
|
|
});
|
|
|
|
|
|
|
|
return Box({
|
|
|
|
className: 'qs-container',
|
|
|
|
vertical: true,
|
|
|
|
children: [
|
|
|
|
|
|
|
|
Box({
|
|
|
|
className: 'quick-settings',
|
|
|
|
vertical: true,
|
|
|
|
children: [
|
|
|
|
|
|
|
|
Label({
|
|
|
|
label: 'Control Center',
|
|
|
|
className: 'title',
|
|
|
|
hpack: 'start',
|
|
|
|
css: `
|
2023-11-09 02:19:18 -05:00
|
|
|
margin-left: 20px;
|
|
|
|
margin-bottom: 30px;
|
|
|
|
`,
|
2023-11-16 15:02:00 -05:00
|
|
|
}),
|
2023-09-12 14:22:21 -04:00
|
|
|
|
2023-11-16 15:02:00 -05:00
|
|
|
ButtonGrid(),
|
2023-09-12 14:22:21 -04:00
|
|
|
|
2023-11-16 15:02:00 -05:00
|
|
|
SliderBox(),
|
2023-09-15 23:22:16 -04:00
|
|
|
|
2023-11-16 15:02:00 -05:00
|
|
|
ToggleButton(rev),
|
2023-09-12 14:22:21 -04:00
|
|
|
|
2023-11-16 15:02:00 -05:00
|
|
|
],
|
|
|
|
}),
|
2023-10-20 23:11:21 -04:00
|
|
|
|
2023-11-16 15:02:00 -05:00
|
|
|
rev,
|
2023-09-12 14:22:21 -04:00
|
|
|
|
2023-11-16 15:02:00 -05:00
|
|
|
],
|
|
|
|
});
|
|
|
|
};
|
2023-09-21 20:01:14 -04:00
|
|
|
|
2023-11-21 01:29:46 -05:00
|
|
|
const TOP_MARGIN = 6;
|
|
|
|
const RIGHT_MARGIN = 5;
|
|
|
|
|
2023-10-16 18:11:19 -04:00
|
|
|
export default () => PopupWindow({
|
2023-10-20 23:11:21 -04:00
|
|
|
name: 'quick-settings',
|
|
|
|
anchor: ['top', 'right'],
|
2023-11-21 01:29:46 -05:00
|
|
|
margins: [TOP_MARGIN, RIGHT_MARGIN, 0, 0],
|
2023-10-20 23:11:21 -04:00
|
|
|
child: QuickSettingsWidget(),
|
2023-09-12 14:22:21 -04:00
|
|
|
});
|