Symbols plugin has redundant header

Open

#378 opened on Mar 23, 2018 3 comments 0 reactions 0 assignees View on GitHub

Gtk4

Description

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

This issue has not been assessed yet.