Adding dark theme
The following Merge Request (MR) has been forwarded from GitHub in order to prevent the GNOME Project from losing contributions coming from un-official channels. And for contributors to not see their valuable contributions not being accounted for.
Relevant information:
Github handle: Avanatiker
MR URL: https://github.com/GNOME/gnome-mines/pull/2
Patch URL: https://github.com/GNOME/gnome-mines/pull/2.patch
Body of the MR:
Adding soothing dark theme for GNOME mines. Very useful for people with sensitive eyes. Absolutely essential in my opinion.