Martin Hauke
86406591ed
* Added support for eXoDOS V6 and V6r2. While both the convertor
and importer have been improved, using the importer has
advantages; it has the ability to import the custom DOSBox
versions that come with eXoDOS, creates filter tabs for
Playlists and can import the Media Pack Add-On and soundfonts.
More details can be found in section Game collection management
* Added support for the IBM Music Feature Card, in the profile
editor.
* Slovakian translation update.
* Implemented a workaround for strange zipfile check which
prevented certain GamePackArchives from being imported on
modern Java versions.
* Implemented another workaround for SWT bug resulting in broken
artwork on Linux.
* Allow parent directories to be considered relative, if
configured as such.
* Display image dimensions in thumb dialog title.
* Fixed a few crash bugs: when DOSBox dynamic options are somehow
invalid (red_avatar), when editing an imgmount with fstype=none
or when creating a filter with a very lengthy condition.
* Updated multiple Java libraries, most importantly SWT which now
requires Java 17.
- Update to version 0.97:
* Too many changes to be listed here, please read the changes at
https://dbgl.org/#changelog
- Update the source url and the package main url
- Add patch:
* fix-swt-color.patch
OBS-URL: https://build.opensuse.org/package/show/Emulators/dbgl?expand=0&rev=5
47 lines
2.5 KiB
Diff
47 lines
2.5 KiB
Diff
Index: dbgl-0.97/src/java/org/dbgl/gui/controls/DarkTheme.java
|
|
===================================================================
|
|
--- dbgl-0.97.orig/src/java/org/dbgl/gui/controls/DarkTheme.java
|
|
+++ dbgl-0.97/src/java/org/dbgl/gui/controls/DarkTheme.java
|
|
@@ -2,28 +2,29 @@ package org.dbgl.gui.controls;
|
|
|
|
import org.dbgl.service.SettingsService;
|
|
import org.eclipse.swt.graphics.Color;
|
|
+import org.eclipse.swt.widgets.Display;
|
|
|
|
|
|
public class DarkTheme {
|
|
|
|
- public static final Color defaultForeground = new Color(224, 224, 224);
|
|
+ public static final Color defaultForeground = new Color(Display.getCurrent(), 224, 224, 224);
|
|
|
|
- public static final Color dialogBackground = new Color(81, 86, 88);
|
|
- public static final Color inputBackground = new Color(47, 47, 47);
|
|
+ public static final Color dialogBackground = new Color(Display.getCurrent(), 81, 86, 88);
|
|
+ public static final Color inputBackground = new Color(Display.getCurrent(), 47, 47, 47);
|
|
|
|
- public static final Color toolbarBackground = new Color(71, 76, 78);
|
|
+ public static final Color toolbarBackground = new Color(Display.getCurrent(), 71, 76, 78);
|
|
|
|
- public static final Color tableHeaderBackground = new Color(56, 61, 63);
|
|
- public static final Color tableHeaderForeground = new Color(204, 204, 204);
|
|
- public static final Color tableHighlightedBackground = new Color(80, 80, 20);
|
|
+ public static final Color tableHeaderBackground = new Color(Display.getCurrent(), 56, 61, 63);
|
|
+ public static final Color tableHeaderForeground = new Color(Display.getCurrent(), 204, 204, 204);
|
|
+ public static final Color tableHighlightedBackground = new Color(Display.getCurrent(), 80, 80, 20);
|
|
|
|
- public static final Color tabForeground = new Color(187, 187, 187);
|
|
- public static final Color tabSelectedForeground = new Color(247, 248, 248);
|
|
+ public static final Color tabForeground = new Color(Display.getCurrent(), 187, 187, 187);
|
|
+ public static final Color tabSelectedForeground = new Color(Display.getCurrent(), 247, 248, 248);
|
|
|
|
- public static final Color linkForeground = new Color(111, 197, 238);
|
|
+ public static final Color linkForeground = new Color(Display.getCurrent(), 111, 197, 238);
|
|
|
|
- public static final Color conflictingForeground = new Color(138, 201, 242);
|
|
- public static final Color changedForeground = new Color(108, 210, 17);
|
|
+ public static final Color conflictingForeground = new Color(Display.getCurrent(), 138, 201, 242);
|
|
+ public static final Color changedForeground = new Color(Display.getCurrent(), 108, 210, 17);
|
|
|
|
private DarkTheme() {
|
|
}
|