terminal: add optional format argument to print, display (#2398)
Changes print so a format argument can be specified by using '%' as prefix. For example: print %x d will print variable 'd' in hexadecimal. The interpretarion of the format argument is the same as that of fmt's package. Fixes #1038 Fixes #1800 Fixes #2159
Showing
想要评论请 注册 或 登录