21st October 2016, 15:38
(21st October 2016, 7:14)kdemeoz Wrote: Well, i found the concept of different users having different installation Settings' appearances quite fascinating [no life], so thought i'd dig a bit more. I came up with a partial explanation, but unfortunately also with a deeper mystery.
As well as my "real" Maui OS, i have four Maui VMs, so i fired them up today. By playing around with combinations of settings in them, i can make that spanner icon appear or not appear. My preferred combo, which happens incidentally [it was not my specific plan] to generate those icons [as per my previous picture attached], is:
Obviously therefore, as predicted by DrGeoffrey, you must each use different combos to me. Hence the spanner icon puzzle is solved.
- Look & Feel = Maui Plasma
Widget style = Breeze
Window Decorations = Plastik
Desktop Theme = Oxygen
Icons = Oxygen
GTK GTK2 Theme = Crux, GTK3 Theme = Breeze, Show icons in GTK buttons = Yes, Icon theme = Hicolor
Conversely the mystery has only deepened as to "Workspace Appearance" vs "Desktop Appearance". Here's my "real" Maui:
Here's Rob's at Linux Quest:
Both of you had "Desktop Appearance" like Rob.
One of my VMs also has "Workspace Appearance" like my "real" Maui, but the other three have "Desktop Appearance" [yet all my VMs & my "real" Maui were installed from the same maui-1-64bit.iso (SHA-512 74d057fce2aa0e8a4503b7cd8ba459cf1fcd11173b3527d6e7b0372ef4eec118ce163a70bb9e1b0714c7e00f425cc402bd0e7a1edaa9055c3f3ef4bbeae86be5), Build Version 20160811.1611].
This is collectively all rather weird!
Whichever theme change caused it, the wrench does seem like a better choice than the blank button but I think the previous placement was much better. You still had to go looking for it but it wasn't completely hidden once you did. It was buried but labeled. It's not like it's a potentially dangerous setting that needs to be hidden from normal users to save them from themselves.
