Thanks for the port to here! I will use the opportunity to setup the docs pipeline.
I have only gone through fixing the remaining issues I knew about, and haven't addressed comments above yet.
If the reviewer is OK then it's good to go. @sera do you want to merge this as your first team action? 😄
Hmm, I don't see why the minimap and the middle panel had to be the same height before. The whole bottom part is anything but symmetrical, it even has a certain "skyline" look (not necessarily a…
No I mean increasing the height of the minimap panel but not changing the size of the contents. Just adding some padding.
I really like the change 👍
Now I am a bit bothered visually by the fact that the minimap panel now is not as high as the central panel. Maybe add 2px at the top and 2px at the bottom of…
This needs a rebase upon main to go through CI. I am OK with the change though.
Btw any reason we're not build the gloox wrapper anymore?
The glooxwrapper is now already built (see current update-workspaces.bat
). I plan to just remove it altogether, because we are not…
I will include this when fixing #6895 👍 Can I close the PR to reduce the review queue?