terminal: trim space in interactive console (#770)
When running interactive command in gdb, it will remove beginning space, so do the same for dlv, which will be more convient for user
Showing
想要评论请 注册 或 登录
When running interactive command in gdb, it will remove beginning space, so do the same for dlv, which will be more convient for user