We shouldn't offer the Break special when we don't have a session to send it

[u/mdw/putty] / putty.h

diff --git a/putty.h b/putty.h
index a7f3f5b..e5cce12 100644 (file)
--- a/putty.h
+++ b/putty.h
@@ -561,6 +561,10 @@ void sys_cursor(void *frontend, int x, int y);
 void request_paste(void *frontend);
 void frontend_keypress(void *frontend);
 void ldisc_update(void *frontend, int echo, int edit);
+/* It's the backend's responsibility to invoke this at the start of a
+ * connection, if necessary; it can also invoke it later if the set of
+ * special commands changes. It does not need to invoke it at session
+ * shutdown. */
 void update_specials_menu(void *frontend);
 int from_backend(void *frontend, int is_stderr, const char *data, int len);
 #define OPTIMISE_IS_SCROLL 1