From 214c61669ac758a9eca46f47ff28bfbd6464fa8c Mon Sep 17 00:00:00 2001 From: joevt Date: Mon, 18 Sep 2023 20:38:28 -0700 Subject: [PATCH] videoctrl: Add pixel_format. pixel_format is different than pixel_depth. pixel_format depends on the GPU. A GPU might have multiple formats for the same depth. We store this in videoctrl so that we can detect changes in pixel_format like we do for pixel_depth and active_width and active_height. --- devices/video/videoctrl.h | 1 + 1 file changed, 1 insertion(+) diff --git a/devices/video/videoctrl.h b/devices/video/videoctrl.h index 455d524..f6cf3cf 100644 --- a/devices/video/videoctrl.h +++ b/devices/video/videoctrl.h @@ -82,6 +82,7 @@ protected: int hori_blank = 0; int vert_blank = 0; int pixel_depth; + int pixel_format; float pixel_clock; float refresh_rate;