Pour ton bord gris impossible à corriger, c'est plus un thème mal fichu qu'un bug. Du style ton pager à une bordure donnée dans un thème, tu change de thème, la bordure en question n'existe pas, du coup E te met des bordures assez laides (et surtout sans bouton ni action liées) par défaut. Bon, OK, il pourrait mettre une bordure existante par défaut (peut-être est-ce corrigé... à voir sinon à soumettre) mais il suffit de Alt-Click Droit --> Set Border Style pour y remédier.
Pour les fenêtres qui "disparaissent" c'est plus vicieux (mais je crois avoir vu des trucs dessus dans le changelog, voir si c'est pas fixé). Les coordonnée de la fenêtre sont hors de l'écran, d'où problème. Ça arrive souvent quand le pager est shadé, et que l'on passe à un thème dont les bordures sont plus petites que précédemment. Facilement fixable avec le shell d'Enlightenment pour retrouver la fenêtre perdue (pour ceux qui connaissent pas: lancer eesh. On peut alors faire toutes les manipulation possibles sur les fenêtres en ligne de commande).
Après, ces quelques bugs sont certes ennuyeux, mais n'arrivent que lors des changements de thèmes, ce qui n'arrive que tous les 36 du mois (tout est tellement configurable, changer de thème revient souvent à changer énormément de choses... en pratique on finit plutôt par se fixer sur un thème donné, puis le customiser à sa sauce).
[^] # Re: E DR16 ? Mais pourquoi ?
Posté par THE_ALF_ . En réponse à la dépêche Sortie de Enlightenment DR16.7-pre1. Évalué à 2.
Pour les fenêtres qui "disparaissent" c'est plus vicieux (mais je crois avoir vu des trucs dessus dans le changelog, voir si c'est pas fixé). Les coordonnée de la fenêtre sont hors de l'écran, d'où problème. Ça arrive souvent quand le pager est shadé, et que l'on passe à un thème dont les bordures sont plus petites que précédemment. Facilement fixable avec le shell d'Enlightenment pour retrouver la fenêtre perdue (pour ceux qui connaissent pas: lancer eesh. On peut alors faire toutes les manipulation possibles sur les fenêtres en ligne de commande).
Après, ces quelques bugs sont certes ennuyeux, mais n'arrivent que lors des changements de thèmes, ce qui n'arrive que tous les 36 du mois (tout est tellement configurable, changer de thème revient souvent à changer énormément de choses... en pratique on finit plutôt par se fixer sur un thème donné, puis le customiser à sa sauce).