22-01-20, 22:37
(21-01-20, 18:31)nicoauffray a écrit : Ah oui, en effet, il me semblait bien ne pas les avoir vus. Mais je ne doute pas que tu vas prochainement corriger çaEn fait, je me souvient maintenant, je ne l'avais pas fait car je voulais faire un truc plus général en laissant l'accès aux configurations de panneaux via lua.
Vu qu'à la réflexion, si on veut bien faire, il faudrait ajouter quasiment un raccourci pour chaque configuration : 1 pour les bandeaux, un pour les toolbar, un pour les deux à la fois, ...
Et l'avantage d'un script lua, c'est que ça permettrait même de faire d'avoir des configurations spécifiques de plusieurs panneaux directement avec un seul raccourcis...
Vu que je suis un peu (!) surchargé actuellement avec le gros morceau de la réécriture du filemanager, j'ai fait une Feature Request sur GitHub afin que l'idée ne se perde pas (et au cas où -rêvons toujours- quelqu'un se sente de la faire !)