summaryrefslogtreecommitdiff
path: root/src/kernel/kernel.c
diff options
context:
space:
mode:
authorAndreas Baumann <mail@andreasbaumann.cc>2017-06-21 17:39:00 +0200
committerAndreas Baumann <mail@andreasbaumann.cc>2017-06-21 17:39:00 +0200
commitf05524445914e31891ec227520d9bb3fe5857e2c (patch)
tree219f38ac0d3be60dda3613b892b51cae0fee9ec9 /src/kernel/kernel.c
parente158c4832aa1d5dc8603fb9c33cac3f7cc19abc9 (diff)
downloadabaos-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.c16
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;