* Change copyright year from 2020 to 2021
Signed-off-by: Tilman Vatteroth <tilman.vatteroth@tu-dortmund.de>
* Change copyright year in jetbrains copyright template
Signed-off-by: Tilman Vatteroth <tilman.vatteroth@tu-dortmund.de>
* Added editor-preferences to redux store
* Add local-storage saving and retrieval of EditorConfig
* Change import to be in a single line
* Add equality check to redux-selector (as suggested by @mrdrogdrog)
* Save and load editor-config to/from localStorage
* Remove useless divider-spans from toolbar and change css-selector
The use of extra divider elements is not needed as we can set the css-after pseudo-class to the button groups with the same styling.
This way we can reduce the amount of elements in the DOM by a hand full.
* Use scss syntax and include one rule into another more common one
