import { imgui } from "https://deno.land/x/dwm@0.3.6/ext/imgui.ts";
const { saveIniSettingsToDisk } = imgui;
this is automatically called (if io.IniFilename is not empty) a few seconds after any modification that should be reflected in the .ini file (and also by DestroyContext).