Home
last modified time | relevance | path

Searched refs:marker_prefs_get_highlight_current_line (Results 1 – 3 of 3) sorted by relevance

/dports/editors/marker/Marker-2020.04.04.2/src/
H A Dmarker-prefs.h53 gboolean marker_prefs_get_highlight_current_line (void);
H A Dmarker-prefs.c269 marker_prefs_get_highlight_current_line() in marker_prefs_get_highlight_current_line() function
805 gtk_toggle_button_set_active(check_button, marker_prefs_get_highlight_current_line()); in marker_prefs_show_window()
H A Dmarker-editor.c635 state = marker_prefs_get_highlight_current_line (); in marker_editor_apply_prefs()