#18292: Fix HTML output
-------------------------------------+-------------------------------------
Reporter: vbraun | Owner:
Type: defect | Status: needs_review
Priority: major | Milestone: sage-6.7
Component: notebook | Resolution:
Keywords: | Merged in:
Authors: Volker Braun | Reviewers: Andrey Novoseltsev
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/vbraun/fix_html_output | 1f75112c7b835b8c7cdfdde992d8b86e4e7ab73e
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by novoselt):
I had stuff like
html("code for interact location")
@interact
...
So I need it to work outside of interact. And I am not going to make use
of sagenb code if I can avoid it - only adds extra headache. I had a two-
liner hack to catch HTML in a cell-specific way for 6.6 and I am fine
doing it again for 6.7, but eventually it has to stop and go through the
backend framework.
I don't think I like the idea of different behaviour for interacts anyway
- either we should always print unassigned calls to html (why else would
it be called if not for displaying stuff?) or never (except for the last
line, of course). Since I imagine that catching all unassigned uses is
tricky, the best solution would be to force users always use
`show(html(x))` if they want to force HTML version of `x`, which probably
will not be necessary too often since `show(x)` will give the same
results. For those who want to inject code on their own
`show(html("<b>bold</b>"))` is a perfectly fine syntax, I think.
--
Ticket URL: <http://trac.sagemath.org/ticket/18292#comment:35>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
