ff #6111
Open
ff #6111
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
|
There is a lot of good stuff in here which are point fixes we should take. Please split up this pull request so that the point fixes (with [section.label] in front) are separate, and can be applied quickly. The rest probably needs some discussion among the editors how to proceed. |
Eelis
force-pushed
the
cxxdraft-htmlgen-fixes
branch
from
7eaad29
to
3fd6b5d
Compare
tkoeppe
reviewed
Mar 5, 2023
source/figdag.dot
Outdated
| Base [shape=plaintext, height=.1, fontsize=24]; | ||
| Derived1 [shape=plaintext, height=.1, fontsize=24]; | ||
| Derived2 [shape=plaintext, height=.1, fontsize=24]; | ||
| Base [shape=plaintext, height=.1, fontsize=11, fontname="Courier New"]; |
There was a problem hiding this comment.
We don't want Courier New, but our existing monospace font please?
tkoeppe
reviewed
Mar 5, 2023
Eelis
force-pushed
the
cxxdraft-htmlgen-fixes
branch
4 times, most recently
from
8d33d64
to
33254e4
Compare
Eelis
force-pushed
the
cxxdraft-htmlgen-fixes
branch
2 times, most recently
from
2e864c7
to
b8db9e7
Compare
Eelis
force-pushed
the
cxxdraft-htmlgen-fixes
branch
from
b8db9e7
to
fb4dab8
Compare
Eelis
force-pushed
the
cxxdraft-htmlgen-fixes
branch
from
fb4dab8
to
4d5d40d
Compare
Eelis
force-pushed
the
cxxdraft-htmlgen-fixes
branch
from
4d5d40d
to
563dfc6
Compare
Eelis
force-pushed
the
cxxdraft-htmlgen-fixes
branch
3 times, most recently
from
6383f60
to
7f2da1b
Compare
Eelis
force-pushed
the
cxxdraft-htmlgen-fixes
branch
2 times, most recently
from
f333392
to
68e408d
Compare
Eelis
force-pushed
the
cxxdraft-htmlgen-fixes
branch
from
68e408d
to
735fc8e
Compare
Eelis
force-pushed
the
cxxdraft-htmlgen-fixes
branch
from
735fc8e
to
b9fb7e3
Compare
Eelis
force-pushed
the
cxxdraft-htmlgen-fixes
branch
from
b9fb7e3
to
180690a
Compare
Eelis
force-pushed
the
cxxdraft-htmlgen-fixes
branch
from
180690a
to
e02b8b8
Compare
Eelis
force-pushed
the
cxxdraft-htmlgen-fixes
branch
from
e02b8b8
to
8cf7969
Compare
Eelis
force-pushed
the
cxxdraft-htmlgen-fixes
branch
from
8cf7969
to
7faaaf2
Compare
Eelis
force-pushed
the
cxxdraft-htmlgen-fixes
branch
from
7faaaf2
to
b4ea113
Compare
This was referenced Feb 17, 2024
Eelis
force-pushed
the
cxxdraft-htmlgen-fixes
branch
from
b4ea113
to
3839e12
Compare
Eelis
force-pushed
the
cxxdraft-htmlgen-fixes
branch
from
3839e12
to
09718e2
Compare
wg21bot
added
the
needs rebase
…rejected upstream: 1340]
Helps layout on smaller (e.g. half-screen) window sizes.
… with the same key.
The stateful ones are harder to handle.
…o \texttt, the \texttt itself is included in the formula passed to MathJax. Otherwise cxxdraft-htmlgen passes a lone math superscript to MathJax and then applies our own \texttt styling to the result, which produces a different result from letting MathJax render and style the whole thing.
Eelis
force-pushed
the
cxxdraft-htmlgen-fixes
branch
from
09718e2
to
cce098d
Compare
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
ff