diff options
author | Andreas Baumann <mail@andreasbaumann.cc> | 2017-06-21 17:39:00 +0200 |
---|---|---|
committer | Andreas Baumann <mail@andreasbaumann.cc> | 2017-06-21 17:39:00 +0200 |
commit | f05524445914e31891ec227520d9bb3fe5857e2c (patch) | |
tree | 219f38ac0d3be60dda3613b892b51cae0fee9ec9 /src/kernel/kernel.c | |
parent | e158c4832aa1d5dc8603fb9c33cac3f7cc19abc9 (diff) | |
download | abaos-f05524445914e31891ec227520d9bb3fe5857e2c.tar.gz abaos-f05524445914e31891ec227520d9bb3fe5857e2c.tar.bz2 |
improved VGA colors
added basics of a desktop widget class
Diffstat (limited to 'src/kernel/kernel.c')
-rw-r--r-- | src/kernel/kernel.c | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/kernel/kernel.c b/src/kernel/kernel.c index ee63295..180bf39 100644 --- a/src/kernel/kernel.c +++ b/src/kernel/kernel.c @@ -194,20 +194,20 @@ 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, 0xA8 ) ); - vga_draw_char( vga, 'A', 10, 10, vga_make_RGB( 0x00, 0x00, 0xA8 ), + 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, 0xA8 ), + 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, 0xA8 ), + 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, 0xA8 ), + 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, 0xA8 ), + 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, 0xA8 ), + 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, 0xA8 ), + vga_draw_char( vga, 'G', 70, 10, vga_make_RGB( 0x00, 0x00, 0xAA ), vga_make_RGB( 0xFF, 0xFF, 0xFF ) ); widget_t widget; |