Julian Schacher 2f0ecddfc8

Other: Add .editorconfigs ...

Add `.editorconfig`s, to help maintain a consistent coding style.
Also apply the new style to existing files.

2021-05-16 20:05:58 +02:00

..

.editorconfig

Other: Add .editorconfigs

2021-05-16 20:05:58 +02:00

About_the_Top_(Menu)Bar.md

Docs: Describe Panel._addToPanelBox logic

2021-05-14 13:18:35 +02:00

panel.js

Docs: Add annotated and cut down panel.js

2021-05-14 13:18:35 +02:00