User Tools

Site Tools


gnome:extensions:prefs.js

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
gnome:extensions:prefs.js [2022/07/23 12:25] 194.32.120.105gnome:extensions:prefs.js [2022/07/23 12:25] (current) 194.32.120.105
Line 158: Line 158:
  
 https://gjs.guide/extensions/overview/anatomy.html#prefs-js https://gjs.guide/extensions/overview/anatomy.html#prefs-js
 +
 +https://gjs.guide/extensions/development/preferences.html#preferences-window
gnome/extensions/prefs.js.1658579119.txt.gz · Last modified: 2022/07/23 12:25 by 194.32.120.105

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki