Aggiungere un gruppo "tutte le macchine" all'interfaccia
In fussmanager.Manager, mantenere un gruppo "All machines" che contenga un elenco di tutte le macchine.
C'è un metodo Manager.refresh_machine() che aggiorna la composizione dei vari gruppi usata da JavaScript in Manager.machine_groups.
L'informazione arriva dal server: c'è un oggetto Machine che viene deserializzato dai dati mandati dal server, che ha un membro groups con l'elenco dei gruppi per la macchina. La refresh_machine mantiene aggiornata la mappatura gruppo → macchine, a partire da modifiche nella mappatura macchina → gruppi.
In fondo al metodo refresh_machine, si può aggiungere un pezzetto di codice che guarda se this.machines_by_mac contiene la macchina, e se non la contiene la aggiunge anche al gruppo this.machine_groups["All machines"].
In questo modo dovrebbe comparire un gruppo come tutti gli altri, e non server piú cambiare nient'altro nell'interfaccia per farlo comparire nell'elenco dei tab.