From 2973b096e7078558fe150067fac66c105d75969c Mon Sep 17 00:00:00 2001 From: Griatch Date: Sun, 1 May 2011 18:11:38 +0000 Subject: [PATCH] Added cmdset priority info to examine display. --- src/commands/cmdsethandler.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/commands/cmdsethandler.py b/src/commands/cmdsethandler.py index ca75ae991f..4917ee365b 100644 --- a/src/commands/cmdsethandler.py +++ b/src/commands/cmdsethandler.py @@ -185,10 +185,10 @@ class CmdSetHandler(object): merged_on = self.cmdset_stack[-2].key mergetype = "custom %s on %s" % (mergetype, merged_on) if merged: - string += " : %s" % (mergetype, self.current) + string += " : %s" % (mergetype, self.current.priority, self.current) else: - string += " <%s (%s)>: %s" % (self.current.key, mergetype, - ", ".join(cmd.key for cmd in self.current if cmd.access(self.obj, "cmd"))) + string += " <%s (%s, prio %i)>: %s" % (self.current.key, mergetype, self.current.priority, + ", ".join(cmd.key for cmd in self.current if cmd.access(self.obj, "cmd"))) return string.strip() def update(self, init_mode=False):