Add: Option to (dis-)allow accelerated video drivers. (#8819)

The video drivers using the OpenGL backend are currently our only
accelerated drivers. The options defaults to off for macOS builds and
to on everywhere else.

Co-authored-by: Michael Lutz <michi@icosahedron.de>

src/table/misc_settings.ini

@@ -12,6 +12,9 @@ static const char *_support8bppmodes = "no|system|hardware";
 #ifdef WITH_COCOA
 extern bool _allow_hidpi_window;
 #endif
+#ifndef WITH_COCOA
+#define WITHOUT_COCOA
+#endif
 
 static const SettingDescGlobVarList _misc_settings[] = {
 [post-amble]
@@ -60,6 +63,20 @@ var      = _fullscreen
 def      = false
 cat      = SC_BASIC
 
+[SDTG_BOOL]
+ifdef    = WITH_COCOA
+name     = ""video_hw_accel""
+var      = _video_hw_accel
+def      = false
+cat      = SC_BASIC
+
+[SDTG_BOOL]
+ifdef    = WITHOUT_COCOA
+name     = ""video_hw_accel""
+var      = _video_hw_accel
+def      = true
+cat      = SC_BASIC
+
 [SDTG_OMANY]
 name     = ""support8bpp""
 type     = SLE_UINT8