julia
Actually show glyphs for latex or emoji shortcodes being suggested in the REPL
#54800
Merged
Overview
Commits
8
Changes
View On GitHub

Actually show glyphs for latex or emoji shortcodes being suggested in the REPL #54800

DilumAluthge merged 8 commits into JuliaLang:master from jkrumbiegel:jk/show-completed-symbols
jkrumbiegel
jkrumbiegel Actually show symbols being completed in the REPL
62446a4a
giordano giordano added REPL
giordano giordano added 😃🍕 and other emoji
jkrumbiegel
Keno
jkrumbiegel introduce `NamedCompletion` to separate name from completion string
e95d03b6
jkrumbiegel fix tests
dca5260f
jkrumbiegel Merge branch 'master' into jk/show-completed-symbols
288360dd
jkrumbiegel fix typos from merge conflict resolution
bbf82922
jkrumbiegel
jkrumbiegel
Keno
jkrumbiegel Merge branch 'master' into jk/show-completed-symbols
4b7b4636
jkrumbiegel fix problems with Pkg REPLExt
1559e837
jkrumbiegel
DilumAluthge Merge branch 'master' into jk/show-completed-symbols
4099db83
DilumAluthge DilumAluthge requested a review from IanButterworth IanButterworth 1 year ago
DilumAluthge
jkrumbiegel
DilumAluthge
IanButterworth
DilumAluthge DilumAluthge removed review request from IanButterworth IanButterworth 1 year ago
DilumAluthge
DilumAluthge DilumAluthge requested a review from Keno Keno 1 year ago
DilumAluthge DilumAluthge requested a review from rfourquet rfourquet 1 year ago
Keno
Keno approved these changes on 2024-12-03
DilumAluthge
DilumAluthge DilumAluthge merged 9acf1129 into master 1 year ago
DilumAluthge DilumAluthge removed review request from rfourquet rfourquet 1 year ago
yuyichao
palday

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
REPL 😃🍕 and other emoji
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum