server: Slight change to the formatting of the device list.

This commit is contained in:
Damir Jelić 2018-10-14 11:56:07 +02:00
parent 516be65bd3
commit c26e30848f

View file

@ -765,7 +765,7 @@ class MatrixServer(object):
SCRIPT_NAME) SCRIPT_NAME)
W.prnt(self.server_buffer, m) W.prnt(self.server_buffer, m)
header = (W.prefix("network") + SCRIPT_NAME + ": devices for " header = (W.prefix("network") + SCRIPT_NAME + ": Devices for "
"server {}{}{}:\n" "server {}{}{}:\n"
" Device ID Device Name " " Device ID Device Name "
"Last Seen").format( "Last Seen").format(
@ -784,7 +784,7 @@ class MatrixServer(object):
device_color = ("chat_self" if device.id == self.device_id else device_color = ("chat_self" if device.id == self.device_id else
W.info_get("nick_color_name", device.id)) W.info_get("nick_color_name", device.id))
bold = W.color("bold") if device.id == self.device_id else "" bold = W.color("bold") if device.id == self.device_id else ""
line = " {}{}{:<18}{}{:<29}{:<}".format( line = " {}{}{:<18}{}{:<34}{:<}".format(
bold, bold,
W.color(device_color), W.color(device_color),
device.id, device.id,