@@ -203,6 +203,7 @@ class Settings
203203 [ DataMember ] public Nullable < bool > enableHistoryTimeout = null ;
204204 [ DataMember ] public Nullable < bool > enableWindowFade = null ;
205205 [ DataMember ] public Nullable < bool > enableCursorIndicator = null ;
206+ [ DataMember ] public Nullable < bool > enableTextOverSymbol = null ;
206207 [ DataMember ] public Nullable < double > cursorIndicatorOpacity = null ;
207208 [ DataMember ] public Nullable < double > cursorIndicatorSize = null ;
208209 [ DataMember ] public SerializableColor2 cursorIndicatorColor = null ;
@@ -416,6 +417,13 @@ public bool EnableCursorIndicator
416417 set { i . enableCursorIndicator = value ; OnSettingChanged ( "EnableCursorIndicator" ) ; }
417418 }
418419
420+ public bool EnableTextOverSymbolDefault = false ;
421+ public bool EnableTextOverSymbol
422+ {
423+ get { return Or ( i . enableTextOverSymbol , EnableTextOverSymbolDefault ) ; }
424+ set { i . enableTextOverSymbol = value ; OnSettingChanged ( "EnableTextOverSymbol" ) ; }
425+ }
426+
419427 public double CursorIndicatorOpacityDefault = 0.3 ;
420428 public double CursorIndicatorOpacity
421429 {
@@ -694,6 +702,7 @@ public void CallPropertyChangedForAllProperties()
694702 PropertyChanged ( this , new PropertyChangedEventArgs ( "EnableHistoryTimeout" ) ) ;
695703 PropertyChanged ( this , new PropertyChangedEventArgs ( "EnableWindowFade" ) ) ;
696704 PropertyChanged ( this , new PropertyChangedEventArgs ( "EnableCursorIndicator" ) ) ;
705+ PropertyChanged ( this , new PropertyChangedEventArgs ( "EnableTextOverSymbol" ) ) ;
697706 PropertyChanged ( this , new PropertyChangedEventArgs ( "CursorIndicatorOpacity" ) ) ;
698707 PropertyChanged ( this , new PropertyChangedEventArgs ( "CursorIndicatorSize" ) ) ;
699708 PropertyChanged ( this , new PropertyChangedEventArgs ( "CursorIndicatorColor" ) ) ;
@@ -827,6 +836,7 @@ public override string ToString()
827836EnableHistoryTimeout: { EnableHistoryTimeout }
828837EnableWindowFade: { EnableWindowFade }
829838EnableCursorIndicator: { EnableCursorIndicator }
839+ EnableTextOverSymbol: { EnableTextOverSymbol }
830840CursorIndicatorOpacity: { CursorIndicatorOpacity }
831841CursorIndicatorSize: { CursorIndicatorSize }
832842CursorIndicatorColor: { CursorIndicatorColor }
0 commit comments