9ae59034fa
* fix: display media total length on bar * fix: add option to display custom nomedia text * feat: add dedicated label too * fix: media add more window names for playables * fix: add option to control display time * Consolidate code and make tooltip timestamp for media bar opt-in. --------- Co-authored-by: Jas Singh <jaskiratpal.singh@outlook.com>
35 lines
1.4 KiB
TypeScript
35 lines
1.4 KiB
TypeScript
import { Option } from 'widget/settings/shared/Option';
|
|
import { Header } from 'widget/settings/shared/Header';
|
|
|
|
import options from 'options';
|
|
import Scrollable from 'types/widgets/scrollable';
|
|
import { Attribute, Child } from 'lib/types/widget';
|
|
|
|
export const MediaMenuSettings = (): Scrollable<Child, Attribute> => {
|
|
return Widget.Scrollable({
|
|
vscroll: 'automatic',
|
|
child: Widget.Box({
|
|
class_name: 'bar-theme-page paged-container',
|
|
vertical: true,
|
|
children: [
|
|
Header('Media'),
|
|
Option({ opt: options.menus.media.hideAuthor, title: 'Hide Author', type: 'boolean' }),
|
|
Option({ opt: options.menus.media.hideAlbum, title: 'Hide Album', type: 'boolean' }),
|
|
Option({ opt: options.menus.media.displayTime, title: 'Display Time Info', type: 'boolean' }),
|
|
Option({
|
|
opt: options.menus.media.displayTimeTooltip,
|
|
title: 'Display Time Tooltip',
|
|
subtitle: 'Display the current media time tooltip when hovering over the bar',
|
|
type: 'boolean',
|
|
}),
|
|
Option({
|
|
opt: options.menus.media.noMediaText,
|
|
title: 'No Media Placeholder',
|
|
subtitle: 'Text to display when no media is being played',
|
|
type: 'string',
|
|
}),
|
|
],
|
|
}),
|
|
});
|
|
};
|