105,7 → 105,7 |
/** Transparent putchar */ |
static void tran_putch(char c, int row, int col) |
{ |
async_msg_3(fbphone, FB_TRANS_PUTCHAR, c, row, col); |
async_msg_3(fbphone, FB_PUTCHAR, c, row, col); |
} |
|
/** Redraw the button showing state of a given console */ |
217,16 → 217,10 |
/** Change to kernel console */ |
void gcons_in_kernel(void) |
{ |
if (console_state[active_console] == CONS_DISCONNECTED_SEL) |
console_state[active_console] = CONS_DISCONNECTED; |
else |
console_state[active_console] = CONS_IDLE; |
redraw_state(active_console); |
|
if (animation != -1) |
async_msg_1(fbphone, FB_ANIM_STOP, animation); |
|
active_console = KERNEL_CONSOLE; /* Set to kernel console */ |
active_console = KERNEL_CONSOLE; |
vp_switch(0); |
} |
|
342,8 → 336,9 |
extern int _binary_helenos_ppm_size; |
extern char _binary_nameic_ppm_start[0]; |
extern int _binary_nameic_ppm_size; |
|
/** Redraws console graphics */ |
static void gcons_redraw_console(void) |
void gcons_redraw_console(void) |
{ |
int i; |
|
466,7 → 461,7 |
if (rc) |
return; |
|
if (xres < 800 || yres < 600) |
if ((xres < 800) || (yres < 600)) |
return; |
|
/* create console viewport */ |
515,4 → 510,3 |
|
/** @} |
*/ |
|