author | wenzelm |
Thu, 13 Aug 2020 12:53:51 +0200 | |
changeset 72144 | 6a4e51ca53c3 |
parent 72143 | 4a46650bf701 |
child 72145 | 25db9c4209ee |
--- a/src/Tools/jEdit/src/ml_status.scala Thu Aug 13 12:38:44 2020 +0200 +++ b/src/Tools/jEdit/src/ml_status.scala Thu Aug 13 12:53:51 2020 +0200 @@ -32,7 +32,7 @@ /* init */ setFont(new JLabel().getFont) - setToolTipText("ML heap memory") + setToolTipText("ML heap memory (double-click for monitor panel)") private val font_render_context = new FontRenderContext(null, true, false) private val line_metrics = getFont.getLineMetrics(template, font_render_context)