gnome:extensions:vpn_indicator
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| gnome:extensions:vpn_indicator [2022/07/23 11:20] – [Create a extensions.js file] 194.32.120.99 | gnome:extensions:vpn_indicator [2022/07/23 11:25] (current) – 194.32.120.99 | ||
|---|---|---|---|
| Line 40: | Line 40: | ||
| **extensions.js** is the core file of the extension and contains the function hooks **init()**, **enable()** and **disable()** used by GNOME Shell to load, enable and disable the extension. | **extensions.js** is the core file of the extension and contains the function hooks **init()**, **enable()** and **disable()** used by GNOME Shell to load, enable and disable the extension. | ||
| - | <file javascript | + | <file javascript |
| const St = imports.gi.St; | const St = imports.gi.St; | ||
| const Main = imports.ui.main; | const Main = imports.ui.main; | ||
| Line 147: | Line 147: | ||
| } | } | ||
| </ | </ | ||
| + | |||
| + | ---- | ||
| + | |||
| + | ===== Reload GNOME to pick up the extension ===== | ||
| + | |||
| + | Press **Alt+F2**, and enter **r** and press **ENTER** to restart GNOME Shell. | ||
| ---- | ---- | ||
gnome/extensions/vpn_indicator.1658575204.txt.gz · Last modified: 2022/07/23 11:20 by 194.32.120.99