[statet-users] How to invoke the hover display in the editor window

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

[statet-users] How to invoke the hover display in the editor window

From: "Hofmann, Marco" <Marco.Hofmann@xxxxxxxx>
Date: Thu, 17 Jul 2025 13:30:29 +0000
Accept-language: de-DE, en-US
Delivered-to: statet-users@xxxxxxxxxxx
List-archive: <https://www.eclipse.org/mailman/private/statet-users/>
List-help: <mailto:statet-users-request@eclipse.org?subject=help>
List-subscribe: <https://www.eclipse.org/mailman/listinfo/statet-users>, <mailto:statet-users-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://www.eclipse.org/mailman/options/statet-users>, <mailto:statet-users-request@eclipse.org?subject=unsubscribe>
Thread-index: Adv3HRUIbOJLm2+GR96eaf50uDi/SQ==
Thread-topic: How to invoke the hover display in the editor window
X_sophos_tls_connection: OPP_TLS_1_3
X_sophos_tls_delivery: true

Hello all,

I recently installed the new version of StatE 4.11 with Eclipse 2025-06 (4.36.0) but now the functionality that a popup window appears if the mouse is moved over an object or a function in the editor window has gone (nothing happens).

I controlled the preferences settings regarding the topic “hover” with former Eclipse/StatET installations but did not find differences.

How can I get this working again?

Best regards

Marco

Prev by Date: [statet-users] [Ann] StatET 4.11.0 Release
Previous by thread: [statet-users] [Ann] StatET 4.11.0 Release
Index(es):
- Date
- Thread

Breadcrumbs