-
-
Notifications
You must be signed in to change notification settings - Fork 16
Fix typeset output #74
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Fix typeset output #74
Conversation
This patch adapts sage-shell-mode to recent pmodification of Sages' rich output generation, and filters spurious math delimiters.
[ Cosmetic ] Reformatted docstring >80 characters wide.
I tried to use this one instead of the elpa one. I got the following error message:
But perhaps this is due to some customization on my side... |
Thanks for thé report. I'll look up that tomorrow.Le 11 juin 2023 22:12, Florent Hivert ***@***.***> a écrit :
I tried to use this one instead of the elpa one. I got the following error message:
error in process filter: sage-shell-view-latex-str: Symbol’s value as variable is void: sage-shell-view-latex-math-environment
error in process filter: Symbol’s value as variable is void: sage-shell-view-latex-math-environment
But perhaps this is due to some customization on my side...
—Reply to this email directly, view it on GitHub, or unsubscribe.You are receiving this because you authored the thread.Message ID: ***@***.***>
|
WorksForMe(TM)...
How did you proceed ?
Could you check this again ? |
BTW :
Could you look up this variable in your In the proposed version (visible in Github in the "Reintegrate..." patcc) , I see :
at lines 174-177 of Keep me posted. |
I don't understand which branch I need to checkout. I did:
and I don't get those line. It seens that they where removed by commit
Should I just clone the previous commit ? that is
Here is the 3 last log message
|
Cloning |
the standard way to fetch the branch of a PR number 42 in a repo foo would be to
No need to get stuff from the repo of the creator of the PR. |
Thanks for the tip ! Though it is 'pull/42/head' with no s. |
I do not understand the origin of the third commit : I do not remember doing it. Top of my log :
Worse : I do not know how to get rid of this "commit from Mars'. Time to crack Github's documentation... tomorrow ! |
it's just git: on your machine do
|
ef5296b
to
f394754
Compare
That wasn't necessary, since the "commit from Mars" doesn't exist on my machine.
That did it. Thank you, Dima ! |
Re-checked, merged, tested. Done... |
What is wrong ? Would you mind open another issue and explain what seems wrong and why ? Sincerely, |
Please review this before I merge it.