@ -843,9 +843,9 @@ Fl_Double_Window *sourceview_panel=(Fl_Double_Window *)0;
@@ -843,9 +843,9 @@ Fl_Double_Window *sourceview_panel=(Fl_Double_Window *)0;
Fl_Tabs * sv_tab = ( Fl_Tabs * ) 0 ;
CodeEdito r * sv_source = ( CodeEdito r * ) 0 ;
CodeViewe r * sv_source = ( CodeViewe r * ) 0 ;
CodeEdito r * sv_header = ( CodeEdito r * ) 0 ;
CodeViewe r * sv_header = ( CodeViewe r * ) 0 ;
Fl_Light_Button * sv_autorefresh = ( Fl_Light_Button * ) 0 ;
@ -863,7 +863,7 @@ Fl_Double_Window* make_sourceview() {
@@ -863,7 +863,7 @@ Fl_Double_Window* make_sourceview() {
{ Fl_Group * o = new Fl_Group ( 10 , 35 , 500 , 415 , " Source " ) ;
o - > labelsize ( 13 ) ;
o - > hide ( ) ;
{ CodeEdito r * o = sv_source = new CodeEdito r ( 20 , 50 , 480 , 390 ) ;
{ CodeViewe r * o = sv_source = new CodeViewe r ( 20 , 50 , 480 , 390 ) ;
o - > box ( FL_DOWN_FRAME ) ;
o - > color ( FL_BACKGROUND2_COLOR ) ;
o - > selection_color ( FL_SELECTION_COLOR ) ;
@ -882,7 +882,7 @@ Fl_Double_Window* make_sourceview() {
@@ -882,7 +882,7 @@ Fl_Double_Window* make_sourceview() {
}
{ Fl_Group * o = new Fl_Group ( 10 , 35 , 500 , 415 , " Header " ) ;
o - > labelsize ( 13 ) ;
{ CodeEdito r * o = sv_header = new CodeEdito r ( 20 , 50 , 480 , 390 ) ;
{ CodeViewe r * o = sv_header = new CodeViewe r ( 20 , 50 , 480 , 390 ) ;
o - > box ( FL_DOWN_FRAME ) ;
o - > color ( FL_BACKGROUND2_COLOR ) ;
o - > selection_color ( FL_SELECTION_COLOR ) ;