On Mon, Jan 16, 2023 at 05:48:11PM +0100, local10 wrote:
> Tried the above twice, the indented block guides do NOT appear for me. 
> Flipping the "Show indent guides" menu option also doesn't bring the block 
> guides back, not sure why it worked before.
> 
> Closing the tab and then restoring it with Ctrl+Shft+T does bring the indent 
> guides back.

Oh this is super weird.

I found that just waiting wasn't the thing; I needed to wait and then
move my mouse or something similar.  There's definitely something
funny here.  Hopefully the upstream developers will have some ideas.

Best wishes,

   Julian

-- 
debian-science-maintainers mailing list
[email protected]
https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers

Reply via email to