version 1.297, 2005/06/27 14:39:06
|
version 1.298, 2005/07/04 13:41:49
|
Line 533 THOT_EXPORT int Doc
|
Line 533 THOT_EXPORT int Doc
|
|
|
THOT_EXPORT Document W3Loading; /* the document being loaded */ |
THOT_EXPORT Document W3Loading; /* the document being loaded */ |
THOT_EXPORT Document BackupDocument; /* the current backup */ |
THOT_EXPORT Document BackupDocument; /* the current backup */ |
|
|
/* list of previous open URLs */ |
/* list of previous open URLs */ |
#define MAX_URL_list 20 |
|
THOT_EXPORT char *URL_list; |
THOT_EXPORT char *URL_list; |
THOT_EXPORT int URL_list_len; |
THOT_EXPORT int URL_list_len; |
THOT_EXPORT ThotBool URL_list_keep; |
THOT_EXPORT ThotBool URL_list_keep; |