From 3367017659e639aa8925ff4c607f1d41d24e657e Mon Sep 17 00:00:00 2001 From: Andre Noll Date: Tue, 13 Mar 2012 22:19:25 +0100 Subject: [PATCH] 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 | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gui.c b/gui.c index 870e9761..48d4b51b 100644 --- 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) -- 2.39.5