Skip to content

Pull requests: tshort/Eyeball.jl

New pull request New
Clear current search query, filters, and sorts
1 Open 27 Closed
1 Open 27 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Bump compat for AbstractTrees
#37 by marcom was merged Nov 16, 2023 Loading…
1
2
Add display of sizes
#36 by tshort was merged Apr 17, 2023 Loading…
1
Bug fix for v1.9; add Q
#35 by tshort was merged Mar 24, 2023 Loading…
update TerminalPager.jl version to latest
#34 by Suavesito-Olimpiada was merged Jan 25, 2023 Loading…
update TerminalPager.jl version to latest
#30 by Suavesito-Olimpiada was merged Aug 19, 2022 Loading…
1
add means to sort objects
#28 by bjarthur was merged May 10, 2022 Loading…
1
12
add support for MAT files
#26 by bjarthur was closed May 6, 2022 Loading…
6
Change to FoldingTrees v1.2.0
#23 by tshort was merged Feb 8, 2022 Loading…
Limit size of show
#22 by tshort was merged Jan 11, 2022 Loading…
Change how dicts are shown
#21 by tshort was merged Jan 11, 2022 Loading…
Limit pager
#20 by tshort was merged Jan 9, 2022 Loading…
Summarize
#19 by tshort was merged Jan 9, 2022 Loading…
Fix getoptions for cases where isdefined isn't defined
#18 by tshort was merged Jan 8, 2022 Loading…
Feature update / API change
#17 by tshort was merged Jan 8, 2022 Loading…
Support showing undefined entries
#16 by tshort was merged Jan 4, 2022 Loading…
Remove extended fold for right arrow
#13 by tshort was merged Jan 2, 2022 Loading…
Speed refactor
#12 by tshort was merged Jan 2, 2022 Loading…
Refactor to improve speed
#11 by tshort was closed Jan 2, 2022 Loading…
Compat addition
#10 by tshort was merged Jan 1, 2022 Loading…
Fold tweaks
#9 by tshort was merged Jan 1, 2022 Loading…
Switch to TerminalPager for paging
#8 by tshort was merged Jan 1, 2022 Loading…
Folding tweak
#7 by tshort was merged Jan 1, 2022 Loading…
Adjust folding; make numbers fold
#5 by tshort was merged Dec 31, 2021 Loading…
Feature update
#4 by tshort was merged Dec 31, 2021 Loading…
Add pager and fix recursive calls to menus
#3 by tshort was merged Dec 31, 2021 Loading…
ProTip! no:milestone will show everything without a milestone.