Update tips dialog and add a menu item for it.

2026-08-26 08:26:50 +00:00 · 2015-09-25 21:09:12 +02:00
parent b5f73cbb63
commit ebe442d1d8
5 changed files with 254 additions and 109 deletions
@@ -107,6 +107,8 @@ namespace renderdocui.Code

        public DateTime DegradedLog_LastUpdate = new DateTime(2015, 01, 01);

+        public bool Tips_SeenFirst = false;
+
        public bool AllowGlobalHook = false;

        public void SetupFormatting()