SILCTXT_KEY_AGREEMENT_TIMEOUT,
SILCTXT_PUBKEY_RECEIVED,
SILCTXT_PUBKEY_FINGERPRINT,
+ SILCTXT_PUBKEY_BABBLEPRINT,
SILCTXT_PUBKEY_UNSUPPORTED,
SILCTXT_PUBKEY_DISCARD,
SILCTXT_PUBKEY_ACCEPT,
SILCTXT_FILE_SHOW_LINE,
SILCTXT_FILE_ALREADY_STARTED,
SILCTXT_FILE_ERROR,
+ SILCTXT_FILE_ERROR_NO_SUCH_FILE,
+ SILCTXT_FILE_ERROR_PERMISSION_DENIED,
SILCTXT_FILE_CLOSED,
};