Symbols plugin has redundant header

Abierto

#378 abierto el 23/3/2018 3 comentarios 0 reacciones 0 asignados Ver en GitHub

Gtk4

Descripción

![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.

Este issue todavía no se ha evaluado.