Mathias Mogensen
Mathias Mogensen
> > Hey @zoli, seems the Rust-CI is failing can you take a look at this? > > > > Hey, I don't think it's because of this PR. It...
Yeah, it's looking a bit weird. I'm going to take a look at it. > I see two problems with grouping in general currently: > > 1. On changing the...
Hey @rizwan3395 thanks for the PR. Is it possible for you to link which issue this PR relates to? Also it seems you need to rebase on `main` 👍
Hey @donlaiq, the changes in this PR seem irrelevant to the title. Can we close this, or will you be working on it? Feel free to jump into our discord...
> Hello @Xazin, the PR removes 2 warnings in the installation process (attached images). So, actually it does what the title says, and I also explained it in my first...
I actually have something done on my local for this. I could most likely finish it up within a couple of days. I just checked the progress, there are a...
> @annieappflowy yes, I mean this what @Xazin showed, only it would make more sense for it to be below the title in my opinion. Below the title? I don't...
> @Xazin In that way you are right, but, visually, because you have a divider (or is it underline) in that widget it would make more sense to have it...
@emmggi See #2962
> @Xazin This looks great. Thank you. > > > > Is there a possibility to add this behavior as well that I mentioned in my original message? > >...