Bonjour
Une petite question sans grande importance:
il est possible et facile (trop facile ! ) de détacher une page en onglet du terminal gnome, mais [size=120]peut-on rattacher une page comme onglet ?[/size]
Ce qui me dérange, c’est justement la facilité à détacher un onglet: il suffit de laisser trainer le curseur sur l’onglet proprement dit et [ un clic + déplacement léger ? ou autre chose ? ] suffit à détacher cette page et la rendre autonome : l’avantage visuel de l’assemblage en onglet disparait.
Je ne suis pas sur d’avoir identifier la manoeuvre
Dans le menu de configuration des raccourcis clavier du terminal, il est pourtant désactivé;
Ma solution bricolée: j’ai donc fourni un raccourci clavier un peu compliqué, on verra di cela résoud le problème…
à plus tard donc.