Edit user props including deq-specific ones.

Closes #196