diff -r 5d62f797e40c -r a80fa14bccb8 NEWS
--- a/NEWS	Sat Feb 29 16:38:59 2020 +0100
+++ b/NEWS	Sat Feb 29 17:16:17 2020 +0100
@@ -55,6 +55,10 @@
 
 *** Isabelle/jEdit Prover IDE ***
 
+* Actions isabelle.tooltip (CS+b) and isabelle.message (CS+m) display
+tooltip message popups, corresponding to mouse hovering with/without the
+CONTROL/COMMAND key pressed.
+
 * Prover IDE startup is now much faster, because theory dependencies are
 no longer explored in advance. The overall session structure with its
 declarations of 'directories' is sufficient to locate theory files. Thus