Home
last modified time | relevance | path

Searched refs:linenumber_size (Results 1 – 8 of 8) sorted by relevance

/dports/x11-toolkits/fltk/fltk-1.3.8/FL/
H A DFl_Text_Display.H347 void linenumber_size(Fl_Fontsize val);
348 Fl_Fontsize linenumber_size() const;
/dports/x11-toolkits/fltk/fltk-1.3.8/fluid/
H A Dfunction_panel.fl169 code_input->linenumber_size(code_input->Fl_Text_Display::textsize());} {}
909 code2 {o->linenumber_size(o->Fl_Text_Display::textsize());}
921 code2 {o->linenumber_size(o->Fl_Text_Display::textsize());}
H A Dfunction_panel.cxx202 code_input->linenumber_size(code_input->Fl_Text_Display::textsize()); in make_code_panel()
1105 o->linenumber_size(o->Fl_Text_Display::textsize()); in make_sourceview()
1127 o->linenumber_size(o->Fl_Text_Display::textsize()); in make_sourceview()
/dports/x11-toolkits/fltk/fltk-1.3.8/test/
H A Deditor.cxx552 ed->linenumber_size(ed->textsize()); in lnum_cb()
623 e->editor->linenumber_size(e->editor->textsize()); in linenumbers_cb()
/dports/x11-toolkits/fltk/fltk-1.3.8/src/
H A DFl_Text_Display.cxx252 void Fl_Text_Display::linenumber_size(Fl_Fontsize val) { in linenumber_size() function in Fl_Text_Display
263 Fl_Fontsize Fl_Text_Display::linenumber_size() const { in linenumber_size() function in Fl_Text_Display
2980 fl_font(linenumber_font(), linenumber_size()); in draw_line_numbers()
/dports/games/ldmud/ldmud-3.3.720/src/
H A Dprolang.y17036 size_t linenumber_size;
17038 linenumber_size = mem_block[A_LINENUMBERS].current_size
17041 if ( !(prog->line_numbers = xalloc(linenumber_size)) )
17047 , linenumber_size);
17050 total_prog_block_size += linenumber_size;
17051 prog->line_numbers->size = linenumber_size;
/dports/x11-toolkits/py-fltk/pyFltk-1.3.4.1/fltk/
H A D__init__.py11302 def linenumber_size(self, *args): member in Fl_Text_Display
/dports/x11-toolkits/py-fltk/pyFltk-1.3.4.1/python/
H A Dfltk_wrap.cpp114051 (arg1)->linenumber_size(arg2); in _wrap_Fl_Text_Display_linenumber_size__SWIG_0()
114073 result = (Fl_Fontsize)((Fl_Text_Display const *)arg1)->linenumber_size(); in _wrap_Fl_Text_Display_linenumber_size__SWIG_1()