private static void CallOnViewInstructionsChanged() { if (GUIViewDebuggerHelper.onViewInstructionsChanged != null) { GUIViewDebuggerHelper.onViewInstructionsChanged(); } }