Skip to content
GitLab
Explore
Sign in
Resolve "freeze top bar of plugin panel in case multiple plugins are loaded"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Piotr Gawron
requested to merge
758-plugin-tab-size
into
devel_13.1.x
Jun 05, 2019
Overview
0
Commits
1
Pipelines
1
Changes
2
Expand
Closes
#758 (closed)
Merge request reports
Loading