Home
last modified time | relevance | path

Searched refs:margin_pixels_symbol (Results 1 – 2 of 2) sorted by relevance

/dports/www/bluefish/bluefish-2.2.12/src/
H A Dbftextview2.c685 BLUEFISH_TEXT_VIEW(btv->master)->margin_pixels_symbol = 12; in bftextview2_set_margin_size()
687 BLUEFISH_TEXT_VIEW(btv->master)->margin_pixels_symbol = 0; in bftextview2_set_margin_size()
692 + BLUEFISH_TEXT_VIEW(btv->master)->margin_pixels_symbol; in bftextview2_set_margin_size()
885 cairo_move_to(cr, btv->margin_pixels_chars + btv->margin_pixels_symbol + 5.5, w); in paint_margin_blockend()
895 cairo_move_to(cr, btv->margin_pixels_chars + btv->margin_pixels_symbol + 5.5, w); in paint_margin_line()
1168 BLUEFISH_TEXT_VIEW(btv->master)->margin_pixels_symbol); in paint_spaces()
1305 master->margin_pixels_symbol), (gfloat) y2, in bluefish_text_view_draw()
1315 master->margin_pixels_block + master->margin_pixels_symbol, (gfloat) y2, in bluefish_text_view_draw()
2152 && (event->x < (master->margin_pixels_chars + master->margin_pixels_symbol))) { in bluefish_text_view_button_press_event()
3132 btv->margin_pixels_symbol), y, &bx, &by); in bluefish_text_view_query_tooltip()
[all …]
H A Dbftextview2.h427 gint margin_pixels_symbol; member