mirnovov

Results 7 comments of mirnovov

I do plan to get around to this eventually fyi, especially given there seems to be a lot of demand for it. In the meantime, if you've a really technically...

It might be a good idea to include basic instructions on using ```wait_for``` for multiple things simultaneously, as in the ```multiple wait_for``` tag on the discord server. Though of course,...

I can replicate this. However, it also seems to occur for me when manually opening the workspace in mobile (without using Homepage, but with the built-in workspace manager). Does this...

It would seem so, since AFAIK it still does that even with Homepage disabled.

No problem. In the meantime, a possible workaround would be setting a separate mobile homepage with a separate workspace.

@kenbankspeng Basically, it makes the settings different on desktop and mobile. So one wouldn't affect the other.