Свойство | Type | Description | |
---|---|---|---|
apply_to_existing_lines | bool |
Свойство | Type | Description | |
---|---|---|---|
additions_ | List |
||
font_ | |||
items_ | List |
||
unique_id_ | string |
Méthode | 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 ( |
Méthode | Description | |
---|---|---|
Equals ( |
Méthode | 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 | ||
Résultat | bool |
public match_indexes ( line l, info_type type ) : List |
||
l | line | |
type | info_type | |
Résultat | List |
public static merge_lines ( string old_text, string new_text ) : string | ||
old_text | string | |
new_text | string | |
Résultat | string |
public preserve_cache_copy ( |
||
from | ||
Résultat | void |
public raw_filter_row ( |
||
other | ||
Résultat | System |
public raw_filter_row ( string text, bool apply_to_existing_lines ) : System | ||
text | string | |
apply_to_existing_lines | bool | |
Résultat | System |
public same ( |
||
other | ||
Résultat | bool |