PR# 18224 Tool tips box is annoying,

Problem Report Summary
Submitter: titoui
Category: EiffelStudio
Priority: Low
Date: 2012/06/21
Class: Feature Request
Severity: Non-critical
Number: 18224
Release: 7.0.8.8074
Confidential: No
Status: Open
Responsible:
Environment: EiffelStudio 7 (7.0.8.8074 GPL Edition - linux-x86-64) Linux Ubuntu 12.04
Synopsis: Tool tips box is annoying,

Description
When I copy and paste a feature name, the tool tips is shown and the CTRL-C for copying is not properly execute (because the focus is on the tool tips window). I would like to disable completely the tool tips popup or change the key to open it (use the ALT button instead of the CTRL button for example).
To Reproduce
Select a feature name (keep the mouse cursor over the feature name) and press the CTRL button (for copy or cut and paste).
Problem Report Interactions