|
@@ -803,6 +803,9 @@ void video_putc(const char c)
|
|
console_back();
|
|
console_back();
|
|
break;
|
|
break;
|
|
|
|
|
|
|
|
+ case 7: /* bell */
|
|
|
|
+ break; /* ignored */
|
|
|
|
+
|
|
default: /* draw the char */
|
|
default: /* draw the char */
|
|
video_putchar(console_col * VIDEO_FONT_WIDTH,
|
|
video_putchar(console_col * VIDEO_FONT_WIDTH,
|
|
console_row * VIDEO_FONT_HEIGHT, c);
|
|
console_row * VIDEO_FONT_HEIGHT, c);
|