How to incrementally reveal theorem content in Touying and Theorion

Questions
,
1

I sometimes have very bulky results I need to display in Touying slides. One way I try and mitigate just displaying massive block of texts is to display them incrementally. However, if I try and do this inside Theorion environments, I instead get panics. With the example:

#import "@preview/touying:0.7.3": *
#import themes.university: *
#import "@preview/numbly:0.1.0": numbly
#import "@preview/theorion:0.6.0": *
#import cosmos.clouds: *
#show: show-theorion

#show: university-theme.with(
  aspect-ratio: "16-9",
  config-common(frozen-counters: (theorem-counter,)),  // freeze theorem counter for animation
)

= test

#proposition[
  The formula:
  #pause
]

I get the error:

error: panicked with: "Unsupported mark `touying-jump/pause/meanwhile` at page 2. You can't use it inside some functions like `context`. You may want to use the callback-style `uncover` function instead."
   ┌─ @preview/touying:0.7.3/src/configs.typ:66:8
   │  
66 │ ╭         panic(
67 │ │           "Unsupported mark `"
68 │ │             + kind
69 │ │             + "` at page "
70 │ │             + str(page-num)
71 │ │             + ". You can't use it inside some functions like `context`. You may want to use the callback-style `uncover` function instead.",
72 │ │         )
   │ ╰─────────^

Meanwhile, trying to follow the error’s advice and use uncover:

#slide(repeat: 3)[
  #proposition[
    The formula
    $
      #uncover("2-")[]
    $
  ]
]

results in the error:

error: panicked with: "Unsupported mark `touying-fn-wrapper` at page 2. You can't use it inside some functions like `context`. You may want to use the callback-style `uncover` function instead."
   ┌─ @preview/touying:0.7.3/src/configs.typ:66:8
   │  
66 │ ╭         panic(
67 │ │           "Unsupported mark `"
68 │ │             + kind
69 │ │             + "` at page "
70 │ │             + str(page-num)
71 │ │             + ". You can't use it inside some functions like `context`. You may want to use the callback-style `uncover` function instead.",
72 │ │         )
   │ ╰─────────^

Is there any way to break up content inside Theorion environments for incremental display in Touying?

2

I can’t exactly figure out what the change that caused this is, but it seems that importing an earlier version on theorion fixes this. To do this, just change the import to

#import "@preview/theorion:0.3.3": *

Note that revering to the non-newest version might come with some bugs that were later patched

1 Like
3

Oh wow. That’s incredibly wonky. I wonder if that’s the intended behavior, because it doesn’t feel like it should be.