Mi sto appassionando alle estensioni di gnome-shell e vorrei capire come funzionano e come scriverne di nuove (non sono un informatico ma mi appassiona la programmazione).
Da quel che ho capito sono scritte in javascript (che non conosco, di cui sto leggendo qualcosa ma mi riesce molto ostico).
Così scopiazzando tra le extensions disponibili sto cercando di crearne una mia.
Qui viene un po' spiegato come fare ma se devo essere sincero non ci capisco molto.
Nelle vecchie versioni di ubuntu c'era un plugin di compiz che permetteva di vedere tutte le finestre aperte rimpicciolite e su sfondo scuro (come appaiono quando si apre la shell di gnome-shell) premendo il tasto centrale del mouse. Per me era comodissimo e sto cercando di associare al tasto centrale del mouse l'apertura della shell.
Quanto scritto finora deriva da spunti presi da Desktop scroller, movehotcorner e Panel-docklet vedi qui a fine pagina.
Allego quanto scritto:
Codice: Seleziona tutto
const Lang = imports.lang;
const Main = imports.ui.main;
const St = imports.gi.St;
let act = "";
function ShowActivities() {
this._CONF_middleClick = this._settings.get_enum('middle-click-action');
if (this._CONF_middleClick) {
Main.panel._activities;
}
}
function init() {
ShowActivities();
}
function enable() {
}
function disable() {
}Allego la cartella con l'estensione (non da errore ma non fa nulla. Ho modificato il nome togliendo la @ e mettendo at per allegarlo).
Ripeto, l'idea è imparare e vi sarei grato se mi spiegaste un po' tutto.
(b2b)

