search

AvaloniaUI / AvaloniaEdit

Avalonia-based text editor (port of AvalonEdit)
MIT License
702 stars 138 forks source link

LineNumbersMargin property added to TextEditor #402

Open NickRimmer opened 4 months ago

NickRimmer commented 4 months ago

Hey, community (;

I want to suggest a tiny update, to be able to set margins for line numbers.

Numpsy commented 4 months ago

I can't really comment on the usefulness of the API, but maybe it could have the same change as in #405 to use GetBindingObservable instead of new Binding ?

NickRimmer commented 3 months ago

I can't really comment on the usefulness of the API, but maybe it could have the same change as in #405 to use GetBindingObservable instead of new Binding ?

@Numpsy Absolutely agree. Will push updated soon. Thank you (;

NickRimmer commented 3 months ago

My changes rebased to latest AvaloniaEdit master with suggested fixes