Robert Wolf schreef:
Alwin, I don't know, how often some developers read this list. I have prepared
the patch and attached to this email and someone could it check and apply in
git, if everything will be OK. I don't think this change will need much time to
verify and very good developer knowledge
On Sun, 1 Oct 2017, Alwin wrote:
> Hi Robert,
>
> I saw the words 32bit Gentoo, and I happen to have such an installation on an
> old Pentium4. Updating took a while (mainly the stable profile; optimization:
> nothing special)... after that I created over 60 workspaces, but I can't crash
> it. Ev
Hi Robert,
I saw the words 32bit Gentoo, and I happen to have such an installation
on an old Pentium4. Updating took a while (mainly the stable profile;
optimization: nothing special)... after that I created over 60
workspaces, but I can't crash it. Everything seems to work fine.
Unfortunatel
On Thu, 14 Sep 2017, Robert Wolf wrote:
> /**/
> / this is current code from git now /
> 358 static void updateWorkspaceMenu(WMenu * menu)
> 359 {
> 360 WScreen *scr = menu->frame->screen_ptr;
> 361 char title[MAX_WORKSPACENAME_WIDTH + 1
