diff sat_frontends/jp/cmd_shell.py @ 3407:2f0be2b7de68

jp: replace `no_lf` argument by `end` in `disp` (same as in `print`)
author Goffi <goffi@goffi.org>
date Thu, 12 Nov 2020 14:53:16 +0100
parents 559a625a236b
children be6d91572633
line wrap: on
line diff
--- a/sat_frontends/jp/cmd_shell.py	Thu Nov 12 14:53:15 2020 +0100
+++ b/sat_frontends/jp/cmd_shell.py	Thu Nov 12 14:53:16 2020 +0100
@@ -146,7 +146,7 @@
     def do_help(self, args):
         """show help message"""
         if not args:
-            self.disp(A.color(C.A_HEADER, _("Shell commands:")), no_lf=True)
+            self.disp(A.color(C.A_HEADER, _("Shell commands:")), end=' ')
         super(Shell, self).do_help(args)
         if not args:
             self.disp(A.color(C.A_HEADER, _("Action commands:")))