JasonLG1979
commented
1 year ago Sorry about the delay.
displaying title of the album
I'm OK with this the only caveat is that the album cover size is determined by the combined height of the text boxes so unless the overall width of the main widget was set appropriately the text would end up having less horizontal space. As soon as someone finishes/fixes this PR by adding a style class to define the max-width so it works as intended we can do that, or if you would like to fix that issue and roll in the album title I'm perfectly OK with that too.
introducing preferences (use app name 'Extensions' to get/set preferences) to customize the current display.
Preferences of any kind are a non-starter, never going to happen. Once you add one you eventually end up with a hundred. The general idea is to just have relatively sane defaults.
adding an inline indicator (the title and the playback status is displayed in the top bar).
This is also a non-starter and will never happen. There is no way to know what else could be occupying panel. The last thing anyone needs is this extension crowding other extensions. There is a tooltip for this reason.
matg22
Hi, My name is Mathieu, I'm French, product manager but former developer (java). I love coding and love doing it listening to music. I'm using your extension since several years now and I implemented additional features a long time ago. Finally, I recently found time to do some cleaning and to propose something to you.
Those additional features mainly consists in:
A lot of theses features may be activated or deactivated through preference panel, so your extension may keep its actual look'n feel if you're not interested in using them.
I'm beginner to gjs development so feel free to say anything negative or positive to this work. If I need to rework some part, do not hesitate to tell me. I hope you'll like it.
All the best, Mathieu