743 |
/* Nothing to do. */ |
/* Nothing to do. */ |
744 |
} |
} |
745 |
|
|
746 |
void |
int |
747 |
console_nocursor (void) |
console_setcursor (int on) |
748 |
{ |
{ |
749 |
/* Nothing to do. */ |
return 1; |
750 |
} |
} |
751 |
|
|
752 |
/* Low-level disk I/O. Our stubbed version just returns a file |
/* Low-level disk I/O. Our stubbed version just returns a file |
1266 |
console_setcolor (normal_color, highlight_color); |
console_setcolor (normal_color, highlight_color); |
1267 |
} |
} |
1268 |
|
|
1269 |
void |
int |
1270 |
hercules_nocursor (void) |
hercules_setcursor (int on) |
1271 |
{ |
{ |
1272 |
console_nocursor (); |
return 1; |
1273 |
} |
} |