Journaux liées à cette note :

Journal du dimanche 17 novembre 2024 à 14:02 #desktop, #gnome, #JaiDécouvert

Dans le thread Reddit GNOME "Is there any chance gnome supports window tiling ?", je suis tombé à nouveau sur cet excellent article : "Rethinking Window Management - Space and Meaning".

Ensuite #JaiDécouvert l'extension Tiling Shell. J'ai décidé de tester cette extension.

J'ai l'impression que cette extension a modifié / supprimé mes raccourcis clavier de déplacement de fenêtre. Cela m'embête un peu si je décide de désactiver cette extension 🤔.

J'ai configuré les raccourcis clavier comme ceci :

Je ne comprends pas, les raccourcis Super + ➡️ et Super + ⬅️ ne semblent pas fonctionner.

À la lecture du README de l'extension, je constate qu'elle propose beaucoup de petites astuces. Je vais essayer de les apprendre au fur et à mesure.