gnome-shell more subtle menu dividers (?)

jnsh / arc-theme

A flat theme with transparent elements (actively maintained fork)

GNU General Public License v3.0

901 stars 77 forks source link

gnome-shell more subtle menu dividers (?) #38

Closed mbacou closed 4 years ago

mbacou commented 4 years ago

arc-theme_20190917+git20200328-2_all.deb on Ubuntu 19.10, Gnome 3.34.2

Wondering if the current menu dividers (white lines) could be modified to look more subtle (e.g. inset dotted, etc.) and have 100% width? I'm not a fan of the new look, too busy and take on too much vertical space.

This is likely personal preference, but others might weigh in as well!

jnsh commented 4 years ago

The separator line should be invisible. See my reply here: https://github.com/jnsh/arc-theme/issues/37#issuecomment-619399842.

I'm thinking of reducing the height of the separators at some point though, but I think it'd be best to do coherently for all the themes at once, so that requires some more thought.

mbacou commented 4 years ago

Got it, I figured this could be a version mismatch all right.