gnome-45: Port extension

Deminder / osd-volume-number

Replace the on-screen-display volume level icon with a number

2 stars 2 forks source link

Closed Deminder closed 1 year ago

Deminder commented 1 year ago

Use ESM import/export
- Move SliderNumberPatch and QuickSettingsSliderNumberPatch to src/modules/slider.js
Build extension with build/gnome-extension.mk from ShutdownTimer
Use the InjectionTracker from ShutdownTimer
Use util.js from ShutdownTimer