|
|
cdaa0c2876
|
Put the highlight menu in a container
|
2023-06-27 15:46:49 +08:00 |
|
|
|
ff06f817fe
|
Better handling of state changes on notes
|
2023-06-27 15:46:49 +08:00 |
|
|
|
f1e435ff0b
|
Passing error messages for notebooks
|
2023-06-27 15:46:49 +08:00 |
|
|
|
9f20fd4736
|
Clean up notebook options
|
2023-06-27 15:46:49 +08:00 |
|
|
|
b0b7bf5dcc
|
Update notebook styling
|
2023-06-27 15:46:49 +08:00 |
|
