Method is_modified

source/imgui_code_editor.hpp:166–166

Returns whether the user has modified the text since it was last set via .

		/// Returns whether the user has modified the text since it was last set via <see cref="set_text"/>.
		/// </summary>
		bool is_modified() const { return !_undo.empty() && _undo_index != _undo_base_index; }

		/// <summary>
		/// Adds an error to be displayed at the specified <paramref name="line"/>.