Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Packed printing #52

Open
wants to merge 18 commits into
base: master
Choose a base branch
from
Open

Packed printing #52

wants to merge 18 commits into from

Conversation

cgrand
Copy link
Member

@cgrand cgrand commented Dec 5, 2017

No description provided.

@cgrand
first cut at packed printing
80dcce1
@cgrand
Remove not-packed print-time id generation
821b9b9
@cgrand
slash as the lead character for commands
a7a0b16
@cgrand
pprints vars and meta (broken on the unrepl side)
3bb3be0
@cgrand
add ratio rendering
efc30f5
@cgrand
update unrepl (current blob based on messed-up version with unrepl/qu…
75a3a1c 
…ote) fix #45
@cgrand
update unrepl
8eec905
@cgrand
class rendering and update unrepl to fix elisions of stdout (try to c…
4410dbc 
…all doc) and demunged fn names (not readable)
@cgrand
packed printing width set according to terminal size
bc7558c
@cgrand
low intensity for punctuation
f5677f8
@cgrand
only keywords are cyan
09794b0
@cgrand
more colors: error tags are red, classes are yellow
24e27ba
@cgrand
client-side elisions and lazy errors rendering
67b7a03
@cgrand
pprint regexes
37b602c
@cgrand
fix pprint of ratios
9b5ae9b
@cgrand
add underline to lazy-error elision
6bd8b5d
@pesterhazy pesterhazy mentioned this pull request Dec 10, 2017
Open
12 tasks
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@cgrand @pesterhazy