diff options
author | Andreas Baumann <mail@andreasbaumann.cc> | 2017-06-21 17:46:44 +0200 |
---|---|---|
committer | Andreas Baumann <mail@andreasbaumann.cc> | 2017-06-21 17:46:44 +0200 |
commit | 9ffa182004e4c39a2131f0c764a94d14976ae13c (patch) | |
tree | 888819867be8195eb69b1e060c20c67a5ed0e328 | |
parent | f05524445914e31891ec227520d9bb3fe5857e2c (diff) | |
download | abaos-9ffa182004e4c39a2131f0c764a94d14976ae13c.tar.gz abaos-9ffa182004e4c39a2131f0c764a94d14976ae13c.tar.bz2 |
much nicer calls when passing color constants
-rw-r--r-- | src/kernel/kernel.c | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/src/kernel/kernel.c b/src/kernel/kernel.c index 180bf39..3f97d67 100644 --- a/src/kernel/kernel.c +++ b/src/kernel/kernel.c @@ -194,21 +194,21 @@ static void handle_keyboard_event( keyboard_event_t *event, void *context ) switch( global_context->mode ) { case MODE_TEXT: if( vga_set_mode( vga, vga_make_mode( VGA_MODE_TYPE_GRAPHICS, 320, 200, 8 ) ) ) { - vga_clear_screen( vga, vga_make_RGB( 0x00, 0x00, 0xAA ) ); - vga_draw_char( vga, 'A', 10, 10, vga_make_RGB( 0x00, 0x00, 0xAA ), - vga_make_RGB( 0xFF, 0xFF, 0xFF ) ); - vga_draw_char( vga, 'B', 20, 10, vga_make_RGB( 0x00, 0x00, 0xAA ), - vga_make_RGB( 0xFF, 0xFF, 0xFF ) ); - vga_draw_char( vga, 'C', 30, 10, vga_make_RGB( 0x00, 0x00, 0xAA ), - vga_make_RGB( 0xFF, 0xFF, 0xFF ) ); - vga_draw_char( vga, 'D', 40, 10, vga_make_RGB( 0x00, 0x00, 0xAA ), - vga_make_RGB( 0xFF, 0xFF, 0xFF ) ); - vga_draw_char( vga, 'E', 50, 10, vga_make_RGB( 0x00, 0x00, 0xAA ), - vga_make_RGB( 0xFF, 0xFF, 0xFF ) ); - vga_draw_char( vga, 'F', 60, 10, vga_make_RGB( 0x00, 0x00, 0xAA ), - vga_make_RGB( 0xFF, 0xFF, 0xFF ) ); - vga_draw_char( vga, 'G', 70, 10, vga_make_RGB( 0x00, 0x00, 0xAA ), - vga_make_RGB( 0xFF, 0xFF, 0xFF ) ); + vga_clear_screen( vga, VGA_COLOR_BLUE ); + vga_draw_char( vga, 'A', 10, 10, VGA_COLOR_BLUE, + VGA_COLOR_WHITE ); + vga_draw_char( vga, 'B', 20, 10, VGA_COLOR_BLUE, + VGA_COLOR_WHITE ); + vga_draw_char( vga, 'C', 30, 10, VGA_COLOR_BLUE, + VGA_COLOR_WHITE ); + vga_draw_char( vga, 'D', 40, 10, VGA_COLOR_BLUE, + VGA_COLOR_WHITE ); + vga_draw_char( vga, 'E', 50, 10, VGA_COLOR_BLUE, + VGA_COLOR_WHITE ); + vga_draw_char( vga, 'F', 60, 10, VGA_COLOR_BLUE, + VGA_COLOR_WHITE ); + vga_draw_char( vga, 'G', 70, 10, VGA_COLOR_BLUE, + VGA_COLOR_WHITE ); widget_t widget; widget_init( &widget, NULL, 50, 50, 60, 70 ); |