-
Mohcine Chraibi authored
this allows to "undo" (and "redo") changes in the window configuration with the key commands 'C-c left' and 'C-c right'
fa1901dc
this allows to "undo" (and "redo") changes in the window configuration with the key commands 'C-c left' and 'C-c right'