web-dev-qa-db-fra.com

Besoin d'aide pour personnaliser le panneau de démarque dans gedit

J'ai gedit 3.6.2 (Lubuntu 13.04) et j'ai installé un plugin de gedit-markdown: prise en charge du langage Markdown dans gedit qui me permet de prévisualiser le texte de démarquage dans un panneau inférieur ou latéral dans gedit .

Je veux savoir s'il est possible de changer la couleur d'arrière-plan du panneau inférieur du blanc en autre chose comme # 999.

J'utilise Greybird (de "shimmer-themes" dans le Software Center) dans lequel j'ai déjà modifié gtk.css pour avoir les couleurs suivantes:

/* default color scheme */
@define-color bg_color #9e9e9e;
@define-color fg_color #000043;
@define-color base_color #8e8e8e;
@define-color text_color #000;
@define-color selected_bg_color #091825;
@define-color selected_fg_color #a2e5fb;
@define-color tooltip_bg_color #333333;
@define-color tooltip_fg_color #aaaaaa;

Malgré ces modifications apportées à gtk.css (qui sont efficaces pour les autres applications gtk3), la couleur d'arrière-plan dans le panneau inférieur reste blanche:

gedit-markdown plugin panel

Pour le panneau supérieur (principal), j'utilise un jeu de couleurs Cobalt légèrement modifié (/usr/share/gtksourceview-3.0/styles/cobalt.xml).

3
user25656

Une image qui vaut cent mots:

Markdown Preview in Gedit

Et voici un aperçu du démarquage en mode côte à côte:

Markdown preview side-by-side

Ou essayez de changer CSS par défaut du navigateur pour les éléments HTML .

0
Radu Rădeanu