[PATCH 3/3] [gdb/tui] Revert workaround in tui_source_window::show_line_number

[Tom Tromey]

>>>>> "Tom" == Tom de Vries <tdevries@suse.de> writes:

Tom> Fix this by reverting to the original behaviour: print one trailing space
Tom> char.

Looks good.  Thanks for doing this.

Tom