[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Dr. Geo] [Bug 1770980] Re: Setting to switch between dark and bright gr
From: |
hilaire |
Subject: |
[Dr. Geo] [Bug 1770980] Re: Setting to switch between dark and bright graphic themes |
Date: |
Sun, 13 May 2018 16:57:40 -0000 |
** Changed in: drgeo
Status: New => Fix Committed
--
You received this bug notification because you are a member of DrGeo
developers, which is subscribed to Dr. Geo II.
Matching subscriptions: Dr. Geo bug report
https://bugs.launchpad.net/bugs/1770980
Title:
Setting to switch between dark and bright graphic themes
Status in Dr. Geo II:
Fix Committed
Bug description:
We need an option from the Dr. Geo settings browser to switch between:
- Dark theme. A dark graphic user interface theme, best used on a computer
screen display.
- Light theme. A light graphic user interface theme, best used on a video
projector display.
By default, the dark theme is activated.
To manage notifications about this bug go to:
https://bugs.launchpad.net/drgeo/+bug/1770980/+subscriptions