Symbols plugin has redundant header

Aperta

#378 aperta il 23/3/2018 3 commenti 0 reazioni 0 assegnatari Vedi su GitHub

Gtk4

Descrizione

![screenshot from 2018-03-22 18 29 10 2x](https://user-images.githubusercontent.com/7277719/37806778-fdb2cb2c-2dfe-11e8-9729-eb642e1b0473.png)

The label "Symbols" and the ability to collapse that header doesn't seem terribly useful.

Questa issue non è ancora stata valutata.