GNOME Shell

  1. Bug #1723554
  2. Comment #2

Comment 2 for bug 1723554

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

Confirmed. Although in 17.10 the default theme uses an orange border, not blue.