mirror of
https://github.com/oliverschmidt/contiki.git
synced 2024-08-31 11:29:33 +00:00
Merge pull request #1355 from oliverschmidt/master
Several minor adjustments.
This commit is contained in:
commit
70dce80932
@ -295,7 +295,7 @@ end_page(char *status, void *focus)
|
|||||||
CTK_WIDGET_FOCUS(&mainwindow, focus);
|
CTK_WIDGET_FOCUS(&mainwindow, focus);
|
||||||
redraw_window();
|
redraw_window();
|
||||||
log_message("Page attribs free: ", itoa(pageattribs + sizeof(pageattribs) - pageattribptr,
|
log_message("Page attribs free: ", itoa(pageattribs + sizeof(pageattribs) - pageattribptr,
|
||||||
pageattribs + sizeof(pageattribs) - 4, 10));
|
pageattribs + sizeof(pageattribs) - 5, 10));
|
||||||
}
|
}
|
||||||
/*-----------------------------------------------------------------------------------*/
|
/*-----------------------------------------------------------------------------------*/
|
||||||
/* open_url():
|
/* open_url():
|
||||||
|
@ -1 +1 @@
|
|||||||
DEFINES = WITH_CLIENT,WITH_DNS,WITH_80COL,WITH_GUI,WITH_PFS,MTU_SIZE=1000
|
DEFINES = WITH_CLIENT,WITH_DNS,WITH_80COL,WITH_GUI,WITH_PFS,MTU_SIZE=900
|
||||||
|
@ -1 +1 @@
|
|||||||
DEFINES = WITH_CLIENT,WITH_DNS,WITH_GUI,WITH_PFS,MTU_SIZE=1000
|
DEFINES = WITH_CLIENT,WITH_DNS,WITH_GUI,WITH_PFS,MTU_SIZE=900
|
||||||
|
Loading…
Reference in New Issue
Block a user