[PATCH] KActionCollection: Deprecate actionHighlighted() and rename it actionHovered()
Andras Mantia