message: Minor tweak, removed extraneous empty destructor.
diff: @@ -1020,12 +1020,11 @@ struct ImGuiTextFilter
  int CountGrep;
  IMGUI_API ImGuiTextFilter(const char* default_filter = "");
  - ~ImGuiTextFilter() {}
  - void Clear() { InputBuf[0] = 0; Build(); }
  IMGUI_API bool Draw(const char* label = "Filter (inc,-exc)", float width = 0.0f); // Helper calling InputText+Build
  IMGUI_API bool PassFilter(const char* text, const char* text_end = NULL) const;
  - bool IsActive() const { return !Filters.empty(); }
  IMGUI_API void Build();
  + void Clear() { InputBuf[0] = 0; Build(); }
  + bool IsActive() const { return !Filters.empty(); }
  };
  // Helper: Text buffer for logging/accumulating text
  