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