Add workspace number badges to TaskbarGrouped widget that display in the
top-left corner of task groups, similar to existing Workspace widget
styling.
Features:
- Circular workspace number badges with negative margins for border overlap
- Color states: focused (primary), urgent (error), occupied (secondary), empty (outline)
- Burst animation effects when workspace becomes focused
- User-configurable settings: showWorkspaceNumbers, showNumbersOnlyWhenOccupied
- Comprehensive internationalization support for all supported locales
Implementation:
- Enhanced TaskbarGrouped.qml with workspace number display and animation system
- Created TaskbarGroupedSettings.qml for user configuration
- Updated BarWidgetRegistry.qml with default settings metadata
- Added settings dialog mapping in BarWidgetSettingsDialog.qml
- Added translations for all supported locales (en, de, es, fr, pt, zh-CN, uk-UA)
The workspace numbers provide quick visual identification of workspace
assignment while maintaining the clean aesthetic of the taskbar.
Large commit that totally refactor of the way we handle the bar and
panels.
Testing should focus on Panels, Bar, Keyboard Focus, IPC calls.
Changes brief:
- One NFullScreenWindow per screen which handle it's bar and dedicated
panels.
- Added shadows
- Reintroduced dimming
- New panels animations
- Proper Z ordering
- Panels on overlay laywer is not reimplemented, if we do it then the
bar will be on the Overlay too
- Panel dragging was not reimplemented, to be discussed before
reimplementing
- Still a WIP, need to work more on shadows and polishing + debugging.
Detailed Explanation:
Addresses an issue where the media player would automatically
switch,overriding user's manual selections when the Control Center was
open.
The core problem was that the automatic player detection logic was too
aggressive and didn't respect explicit user choices. Previous attempts
to pause auto-switching based on UI visibility were unreliable due to
incorrect event handling for the custom NPanel component.
loner