tonytomov/jqGrid — pull request #409 by meh-cfl (2013-01-14 18:48:04+00:00)
Title: Adds the option to have a different title from the value used for grouping

Similar to pull #402.

This is useful if the name you want to use for grouping is too long to be cleanly displayed to the user, and it allows you to display a shorter display label and still make the full display label available to the user if they hover.