9 Commits

Author	SHA1	Message	Date
Julian Schacher	c6fb9a8b8d	Docs: Add newer, cut down and commented panel.js from Gnome Shell 43.2	2023-01-24 20:40:24 +01:00
Julian Schacher	6b4c75ad83	Docs: Add newer, cut down and commented panel.js from Gnome Shell 42.5	2022-10-22 19:14:54 +02:00
Julian Schacher	91b472c4fe	Docs: Add doc. holding some setup instructions and tips for a GSE Dev VM ... Add this document to provide some setup instructions and tips for making the most of a Gnome Shell Extensions Development VM.	2022-10-22 01:25:11 +02:00
Julian Schacher	37ece04211	Rename docs/panel.js to include source branch and date ... Do this in preparation for the addition of more `panel.js` files from other branches/tags and dates.	2022-10-21 19:27:59 +02:00
Julian Schacher	65304a9894	Docs: Add documentation on how to create a new tag	2021-06-21 19:32:45 +02:00
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
Julian Schacher	2851fe3aaa	Docs: Describe Panel._addToPanelBox logic ... Describe what `Panel._addToPanelBox` does with the role and indicator it gets.	2021-05-14 13:18:35 +02:00
Julian Schacher	1c7cafaff9	Docs: Add initial About_the_Top_(Menu)Bar.md ... Add background documentation/information regarding the top (menu)bar.	2021-05-14 13:18:35 +02:00
Julian Schacher	db0237792d	Docs: Add annotated and cut down panel.js ... Add an annotated and cut down `js/ui/panel.js` from gnome-shell/master as background documentation/information for this extension.	2021-05-14 13:18:35 +02:00