Store graphics card in config file as name rather than number.

This commit is contained in:
SarahW 2017-02-24 20:02:31 +00:00
commit 5c4b6ade9a
3 changed files with 52 additions and 26 deletions

View file

@ -36,6 +36,8 @@ int video_card_has_config(int card);
int video_card_getid(char *s);
int video_old_to_new(int card);
int video_new_to_old(int card);
char *video_get_internal_name(int card);
int video_get_video_from_internal_name(char *s);
extern int video_fullscreen, video_fullscreen_scale, video_fullscreen_first;