Introduction of smart docking and settings page#23

Merged

michaelestermann merged 20 commits intomasterfrom

May 8, 2020

Commits on Dec 19, 2019

Empty red settings page.
Michael Estermann
committed

Commits on Dec 20, 2019

Introduced smart docking when storing a layout.
Michael Estermann
committed

Commits on Dec 21, 2019

Introduced checkstyle and fixed issues.
Michael Estermann
committed
Tool window docking extended.
Michael Estermann
committed

Commits on Feb 26, 2020

Added todo
michaelestermann
committed

Commits on Mar 27, 2020

Adapted description of the plugin.
michaelestermann
committed

Commits on Apr 8, 2020

First draft of im-/export feature.
michaelestermann
committed

Commits on Apr 23, 2020

Moved messages to resources.
michaelestermann
committed

Commits on May 8, 2020