Ubuntu
mutter package

  1. Bug #1799430
  2. Comment #10

Comment 10 for bug 1799430

Revision history for this message
Anders Hall (a.hall) wrote :

Hi @Plurto. Where is this setting and is it a default ubuntu setting? Thanks.

Note: Just using the default installation (had no active extensions before upgrade besides Ubuntu system defaults). I.e., have not installed dash to dock.