blob: 767730070f9dd43f68e9f35544111529193ef067 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
--- src/Editeur.cc.orig 2022-03-09 17:34:39 UTC
+++ src/Editeur.cc
@@ -2924,7 +2924,7 @@ namespace xcas {
Fl_Text_Buffer * b = new Fl_Text_Buffer;
editor=new Xcas_Text_Editor(x,y+L,w,h-L,b,l);
editor->Fl_Text_Display::textsize(labelsize());
- editor->Fl_Text_Display::linenumber_width(3*labelsize());
+ // editor->Fl_Text_Display::linenumber_width(3*labelsize());
editor->labelsize(labelsize());
log = 0;
if (logo){
|
