Allow the style name to be edited in the style definition editor

git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@75133 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775

include/wx/richtext/richtextstylepage.h

@@ -56,6 +56,10 @@ public:
     /// Gets the attributes associated with the main formatting dialog
     wxRichTextAttr* GetAttributes();
 
+    /// Determines whether the style name can be edited
+    bool GetNameIsEditable() const { return m_nameIsEditable; }
+    void SetNameIsEditable(bool editable) { m_nameIsEditable = editable; }
+
 ////@begin wxRichTextStylePage event handler declarations
 
     /// wxEVT_UPDATE_UI event handler for ID_RICHTEXTSTYLEPAGE_NEXT_STYLE
@@ -87,6 +91,8 @@ public:
         ID_RICHTEXTSTYLEPAGE_NEXT_STYLE = 10406
     };
 ////@end wxRichTextStylePage member variables
+
+    bool m_nameIsEditable;
 };
 
 #endif