> """
> root.focus = false;
> """
>
> This looks redundant. I think code should be caring about whom to give focus
> to, not in explicitly unfocusing the item that's losing it as this is the
> side-effect of focusing someone else anyway. Is that really needed?
yes... I just moved it a bit from where it was before... currently the launcher works in a way that when it is closed it unfocuses itself and in shell we have:
Launcher { onFocusChanged: if (!focus) stage.focus = true }
so that's kinda ok for here... I do certainly agree that in general this needs to be consolidated in a way eventually.
> """
> root.focus = false;
> """
>
> This looks redundant. I think code should be caring about whom to give focus
> to, not in explicitly unfocusing the item that's losing it as this is the
> side-effect of focusing someone else anyway. Is that really needed?
yes... I just moved it a bit from where it was before... currently the launcher works in a way that when it is closed it unfocuses itself and in shell we have:
Launcher { onFocusChanged: if (!focus) stage.focus = true }
so that's kinda ok for here... I do certainly agree that in general this needs to be consolidated in a way eventually.