コード例 #1
0
		public WpfTextViewContainerMargin(IWpfTextViewMarginProviderCollectionProvider wpfTextViewMarginProviderCollectionProvider, IWpfTextViewHost wpfTextViewHost, string name, bool isHorizontal) {
			if (wpfTextViewMarginProviderCollectionProvider == null)
				throw new ArgumentNullException(nameof(wpfTextViewMarginProviderCollectionProvider));
			if (wpfTextViewHost == null)
				throw new ArgumentNullException(nameof(wpfTextViewHost));
			if (name == null)
				throw new ArgumentNullException(nameof(name));
			this.name = name;
			this.isHorizontal = isHorizontal;
			margins = Array.Empty<WpfTextViewMarginInfo>();
			wpfTextViewMarginProviderCollection = wpfTextViewMarginProviderCollectionProvider.Create(wpfTextViewHost, this, name);
			wpfTextViewMarginProviderCollection.MarginsChanged += WpfTextViewMarginProviderCollection_MarginsChanged;
			UpdateMarginChildren();
		}
コード例 #2
0
 public WpfTextViewContainerMargin(IWpfTextViewMarginProviderCollectionProvider wpfTextViewMarginProviderCollectionProvider, IWpfTextViewHost wpfTextViewHost, string name, bool isHorizontal)
 {
     if (wpfTextViewMarginProviderCollectionProvider is null)
     {
         throw new ArgumentNullException(nameof(wpfTextViewMarginProviderCollectionProvider));
     }
     if (wpfTextViewHost is null)
     {
         throw new ArgumentNullException(nameof(wpfTextViewHost));
     }
     this.name         = name ?? throw new ArgumentNullException(nameof(name));
     this.isHorizontal = isHorizontal;
     margins           = Array.Empty <WpfTextViewMarginInfo>();
     wpfTextViewMarginProviderCollection = wpfTextViewMarginProviderCollectionProvider.Create(wpfTextViewHost, this, name);
     wpfTextViewMarginProviderCollection.MarginsChanged += WpfTextViewMarginProviderCollection_MarginsChanged;
     UpdateMarginChildren();
 }