Symbols plugin has redundant header
Open
Gtk4
- Dominant language
- Vala
- Stars
- 521
- Forks
- 118
- Avg merge
- 1d 8h
- Merged PRs (30d)
- 14
Description

The label "Symbols" and the ability to collapse that header doesn't seem terribly useful.
Contributor guide
Research direction
Start by locating the Symbols plugin and inspecting the UI represented in the attached screenshot. Remove the redundant “Symbols” header and its collapse control, then verify that the symbols view remains usable and the plugin’s existing checks still pass.
Written by the indexing model from the issue text.
Assessment
- Domain
- design, desktop
- Issue type
- Refactor
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 42/100