Use "*:placeholder" as placeholder label (#27520)

GitOrigin-RevId: eb6566e8cab401675df21a54d0b1035fd6e8a8df
This commit is contained in:
Alf Eaton
2025-08-01 08:05:58 +00:00
committed by Copybot
parent 94c8fe5b93
commit 677ebf3590
4 changed files with 11 additions and 11 deletions
@@ -155,7 +155,7 @@ const FigureModalContent = () => {
dispatch({ error: String(error) })
return
}
const labelCommand = includeLabel ? '\\label{fig:enter-label}' : ''
const labelCommand = includeLabel ? '\\label{fig:placeholder}' : ''
const captionCommand = includeCaption ? '\\caption{Enter Caption}' : ''
if (figure) {
@@ -228,7 +228,7 @@ const FigureModalContent = () => {
const widthArgument =
width !== undefined ? `[width=${width}\\linewidth]` : ''
const caption = includeCaption ? `\n\t\\caption{\${Enter Caption}}` : ''
const label = includeLabel ? `\n\t\\label{\${fig:enter-label}}` : ''
const label = includeLabel ? `\n\t\\label{\${fig:placeholder}}` : ''
snippet(
`\\begin{figure}