It would also be a good idea to open the javascript console and see if
there are errors being reported around the time when the menu disappears.
- Marc
On Wednesday, March 6, 2024 at 8:20:00 PM UTC-6 Marc Culler wrote:
> Viviane,
>
> If you do a shift-reload (or whatever makes your browser
Viviane,
If you do a shift-reload (or whatever makes your browser clear its cache)
does that make the menu come back?
- Marc
On Wednesday, March 6, 2024 at 8:11:45 AM UTC-6 Viviane Pons wrote:
> Dear all,
>
> I am working on a conda distribution of sage with jupyter lab. My conda
>