]> granicus.if.org Git - graphviz/commit
GDK plugin gdk_format: squash -Wswitch-default warning
authorMatthew Fernandez <matthew.fernandez@gmail.com>
Sun, 3 Apr 2022 19:52:32 +0000 (12:52 -0700)
committerMatthew Fernandez <matthew.fernandez@gmail.com>
Sat, 9 Apr 2022 01:03:37 +0000 (18:03 -0700)
commit2da73a0316671df15d84baef16c2b570ad04ca08
treebcdae0ae7e963d8756073e01e4e3844ade3b4e1c
parent4044f724c5cc68b8a5ad255a72e60e41cadad577
GDK plugin gdk_format: squash -Wswitch-default warning

The device ID can only be one of the values configured at the bottom of this
file, so this switch is exhaustive.
plugin/gdk/gvdevice_gdk.c