Property | Type | Description | |
---|---|---|---|
apply_to_existing_lines | bool |
Property | Type | Description | |
---|---|---|---|
additions_ | List |
||
font_ | |||
items_ | List |
||
unique_id_ | string |
Method | Description | |
---|---|---|
Equals ( object obj ) : bool | ||
GetHashCode ( ) : int | ||
ToString ( ) : string | ||
match_indexes ( line l, info_type type ) : List |
||
merge_lines ( string old_text, string new_text ) : string | ||
operator ( ) : bool | ||
preserve_cache_copy ( |
||
raw_filter_row ( |
||
raw_filter_row ( string text, bool apply_to_existing_lines ) : System | ||
same ( |
Method | Description | |
---|---|---|
Equals ( |
Method | Description | |
---|---|---|
get_bg_color ( Color c, bool enabled ) : Color | ||
get_fg_color ( Color c, bool enabled ) : Color | ||
get_font_info ( ) : |
||
get_raw_font_info ( ) : |
||
init ( List |
||
update_case_sensitive ( ) : void | ||
update_font ( ) : void |
protected Equals ( |
||
other | ||
return | bool |
public match_indexes ( line l, info_type type ) : List |
||
l | line | |
type | info_type | |
return | List |
public static merge_lines ( string old_text, string new_text ) : string | ||
old_text | string | |
new_text | string | |
return | string |
public preserve_cache_copy ( |
||
from | ||
return | void |
public raw_filter_row ( |
||
other | ||
return | System |
public raw_filter_row ( string text, bool apply_to_existing_lines ) : System | ||
text | string | |
apply_to_existing_lines | bool | |
return | System |