From 6c3198a2bfbffc1059c1cc19b5343eae566166d5 Mon Sep 17 00:00:00 2001 From: eiffel-org Date: Wed, 4 Jan 2023 12:35:39 +0000 Subject: [PATCH] Updated wikipage Release notes for EiffelStudio 22.12 - macosx. (Signed-off-by:jocelyn). git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@2372 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../Release-notes-for-EiffelStudio-22.12---macosx.wiki | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/documentation/22.12/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/Release-notes-for-EiffelStudio--22.12/Release-notes-for-EiffelStudio-22.12---macosx.wiki b/documentation/22.12/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/Release-notes-for-EiffelStudio--22.12/Release-notes-for-EiffelStudio-22.12---macosx.wiki index e40d0345..c806986d 100644 --- a/documentation/22.12/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/Release-notes-for-EiffelStudio--22.12/Release-notes-for-EiffelStudio-22.12---macosx.wiki +++ b/documentation/22.12/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/Release-notes-for-EiffelStudio--22.12/Release-notes-for-EiffelStudio-22.12---macosx.wiki @@ -1,4 +1,4 @@ -[[Property:modification_date|Wed, 04 Jan 2023 12:34:39 GMT]] +[[Property:modification_date|Wed, 04 Jan 2023 12:35:38 GMT]] [[Property:publication_date|Wed, 04 Jan 2023 11:34:24 GMT]] [[Property:uuid|9545048C-03AF-4F8C-BE54-0DD7B7C31CF2]] [[Property:weight|0]] @@ -21,8 +21,8 @@ EiffelStudio is not the only macosx application having this bad issue with XQuar ===A dirty but acceptable workaround: CSS === -Using ~/.config/gtk-3.0/gtk.css to use colors that would make EiffelStudio reading in "normal" mode, and in "black background annoyance" mode. - +Using `~/.config/gtk-3.0/gtk.css` to use colors that would make EiffelStudio reading in "normal" mode, and in "black background annoyance" mode. +For that, put the following text inside `~/.config/gtk-3.0/gtk.css` ```css .background { background-color: #cccccc; color: white } widget, box, text, label { background-color: #cccccc; color: white }