프로퍼티 | 타입 | 설명 | |
---|---|---|---|
apply_to_existing_lines | bool |
프로퍼티 | 타입 | 설명 | |
---|---|---|---|
additions_ | List |
||
font_ | |||
items_ | List |
||
unique_id_ | string |
메소드 | 설명 | |
---|---|---|
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 ( |
메소드 | 설명 | |
---|---|---|
Equals ( |
메소드 | 설명 | |
---|---|---|
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 |
public match_indexes ( line l, info_type type ) : List |
||
l | line | |
type | info_type | |
리턴 | List |
public static merge_lines ( string old_text, string new_text ) : string | ||
old_text | string | |
new_text | string | |
리턴 | string |
public preserve_cache_copy ( |
||
from | ||
리턴 | void |
public raw_filter_row ( |
||
other | ||
리턴 | System |
public raw_filter_row ( string text, bool apply_to_existing_lines ) : System | ||
text | string | |
apply_to_existing_lines | bool | |
리턴 | System |