wok view le/stuff/gcc-4.patch @ rev 23710
updated ubuntu-font-family (0.80 -> 0.83)
| author | Hans-G?nter Theisgen |
|---|---|
| date | Tue Apr 28 17:22:54 2020 +0100 (2020-04-28) |
| parents | |
| children |
line source
1 --- src/options.cc 2009-09-22 20:30:26.000000000 +0200
2 +++ src/options.cc 2009-09-22 20:30:01.000000000 +0200
3 @@ -1245,7 +1245,7 @@
4 FindColor(new_bw_pal,color_no));
5 return -1;
6 }
7 - char *l=strchr(button,'&');
8 + const char *l=strchr(button,'&');
9 if(!l)
10 return -1;
11 char res=toupper(l[1]);