Hovers Preferences

The Hover functionality will display information about an item when the mouse is placed on it.

The Hovers preferences page allows you to configure the settings and shortcuts for the Hover functionality.

 

The Hovers Preferences page is accessed from Window | Preferences | PHP | Editor | Hovers.

 

Select which of the following elements to enable by marking the relevant checkboxes:

The Text Hover key modifier preferences table allows you to modify hover key preferences for certain elements. Pressing the configured key while hovering over the element in the editor will display the relevant information or take the relevant action.
For example, applying the settings displayed in the screenshot above (Source key preference = Ctrl) and pressing Ctrl while hovering over an element in the editor will take you to that element's source.

You can configure key preferences for the following elements:

 

 

Instructions on how to complete a procedure

To configure the key preferences:

  1. Mark the checkbox next to the required preference.

  2. Enter the required key in the 'pressed key modifier while hovering' box.

 

Click Apply to apply your settings.

 

 

Related Links

Related Links:

Hover Support

PHP Preferences

Editor Preferences