gui: Rename client_cmd_cmdline() to para_cmd().
authorAndre Noll <maan@systemlinux.org>
Tue, 13 Mar 2012 21:19:25 +0000 (22:19 +0100)
committerAndre Noll <maan@systemlinux.org>
Sun, 18 Mar 2012 20:07:15 +0000 (21:07 +0100)
commit3367017659e639aa8925ff4c607f1d41d24e657e
tree1978b616ba7326c19ac62083f2e52e812fa0633a
parentb55f405f8005821ffa369b929bc0b419da62683d
gui: Rename client_cmd_cmdline() to para_cmd().

The new name is shorter to type and it matches the naming convention
of the other command dispatchers, external_cmd() and display_cmd().
gui.c