GWT: X.X, index properties order parameter

Currently the Index properties order cannot be changed.

Solution

Use the same widget as the concordance properties order parameter.

(from redmine: issue id 1218, created on 2015/01/07 by Matthieu Decorde)

added type::feature ui + 1 deleted label

changed milestone to %Portal 0.7