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().

diff --git a/gui.c b/gui.c
index 870e976175e935aa20ad0d18e8b9b3e303d5191a..48d4b51b6445c902a791755cc84737f3421dafc7 100644 (file)
--- a/gui.c
+++ b/gui.c
@@ -1072,7 +1072,7 @@ static void send_output(void)
        print_in_bar(COLOR_MSG, " ");
 }
 
-static void client_cmd_cmdline(char *cmd)
+static void para_cmd(char *cmd)
 {
        int ret, fds[3] = {0, 1, 0};
        char *c = make_message(BINDIR "/para_client -- %s", cmd);
@@ -1434,7 +1434,7 @@ static void handle_command(int c)
                else if (*handler == 'x')
                        external_cmd(arg);
                else if (*handler == 'p')
-                       client_cmd_cmdline(arg);
+                       para_cmd(arg);
                else if (*handler == 'i') {
                        int num = find_cmd_byname(arg);
                        if (num >= 0)