You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The proposed printf-like syntax is fine, but tabulation boxes are now deprecated.
Indeed, tabulation boxes interaction with other pretty-printing boxes have never been sorted out and tabulation boxes usage is orthogonal to the rest of the Format module.
If considered useful, tabulation boxes could be implemented out of the Format module.
Original bug ID: 4665
Reporter: @Chris00
Assigned to: @pierreweis
Status: resolved (set by @alainfrisch on 2016-12-08T10:38:24Z)
Resolution: won't fix
Priority: normal
Severity: feature
Category: standard library
Monitored by: @glondu
Bug description
In order to be homogeneous (and to write shorter code), it will be nice for tabulation boxes to have a printf syntax -- something like
@[
for opening the box (and the usual @] for closing it -- if at all possible given it is a separate function for tab boxes) and, say,
@| @\t
for resp. setting and printing tabs.
This is really minor but I thought I'd let you know anyway.
The text was updated successfully, but these errors were encountered: