diff gdb_remote.c @ 1573:a051d8ee4528

Only save config file if something has changed. Re-initialize audio and video with new settings if config has changed
author Michael Pavone <pavone@retrodev.com>
date Fri, 27 Apr 2018 20:08:47 -0700
parents 85a90964b557
children ded16f3d7eb4 d6d4c006a7b3
line wrap: on
line diff