Sonny
Sonny
Pretty sure this is new in Workbench 46 @Diego-Ivan @lw64 can one of you take a look? 
https://matrix.to/#/!beIEIecgxTicOYQoHW:gnome.org/$I1ItK0OBDOhc40zeBB6FsUCQQHPfICETXWJ3ZAzQphs?via=gnome.org&via=matrix.org&via=fedora.im > I only just realised workbench has the library, silly me, now I see why you said I should use it It's not the first time I hear of...
Currently, Workbench is considered as "probably safe" by Flathub and GNOME Software. The reason it is not considered "Safe" is because we require network and audio permission (via `--socket=pulseaudio` and...
Steps to reproduce 0. `flatpak kill re.sonny.Workbench.Devel` 1. `rm -rf ~/.var/app/re.sonny.Workbench.Devel` 2. Start Workbench from main 3. Open any Rust demo 4. Press "Run" - it compiles and execute all...
Like Builder:  This is particularly helpful in Workbench since the editor width is limited (having multiple panes) so an error can easily happen outside the viewport (in the scroll...
As @theCapypara noted, this is getting crowded (see screenshot). We could use language logos (builder has symbolic) but I'm afraid it's gonna look the same. An other option is an...
System 'crashes' when I start pi blaster. ``` ArchLinux ARM 3.12.28-1-ARCH ``` Step to reproduce. `sudo systemctl start pi-blaster` Ouputs before dying: `[ 66.688439] Bits 55-60 of /proc/PID/pagemap entries are...
The floating header bar should hide after a timeout when there is no hovering or touch
We can further reduce energy usage by updating the clock less often if seconds are not visible.
When maximizing the window, we disable rounded borders and hide the floating header bar so it looks good no matter the shape of the clock. We should do the same...