User Guide > Reference > PHP Preferences > Hovers Preferences

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.

Hovers Preferences

Hovers preferences page

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:

Configuring the Key Preferences

 

 

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.

  3. Click Apply to apply your settings.

 

 

 

Related Links:

Hover Support

PHP Preferences

Editor Preferences

 

 

©1999-2013 Zend Technologies LTD. All rights reserved.