
I am expanding some of the functions on the Editor through IEditorViewMargin. There is a scenario where I want to change the size of the Margin by dragging the mouse. Can this demand be supported?
I am expanding some of the functions on the Editor through IEditorViewMargin. There is a scenario where I want to change the size of the Margin by dragging the mouse. Can this demand be supported?
Hello,
You should be able to attach to some of the mouse events on the margin element and add support for that. We don't have any built-in logic for margin resizing.
If you do implement this, note that a call to the margin element's InvalidateMeasure() method probably won't be enough to get it to resize all the editor view elements. You would likely have to call the SyntaxEditor.InvalidateViews() method to trigger editor view elements to resize around any changes to your margin width.
Okay, thank you for your reply. Would you like to ask if this feature will be built in in the next version?
We have noted your feature requested for potential inclusion in a future version, but it is not something we will be able to add in the near term.
Please log in to a validated account to post comments.