Tim Würtele

Is there some way to extract code when working with indexed effects w/o `reify`? I want to actually execute my F* code and used something along the lines of `(reify...

Thanks for the clarification! My indices should be non-informative, will check that.

Hi @aseemr, thanks for your reply! Are there any updates on this?

Thanks a lot!

I had the same problem, until it just went away - I investigated and found that these options are part of the [`biblatex-software` package](https://ctan.org/pkg/biblatex-software), which seems to be relatively recent....

I don't think this is in any way related to encryption or LDAP - I had the same issue for a WebDAV external storage, and the proposed workaround `occ config:app:set...

I can confirm the same issue on XFCE (XUbuntu 22.04) with both 5.12 and 5.13 (installed via snap). ``` JabRef 5.12--2023-12-24--4233bad Linux 6.2.0-39-generic amd64 Java 21.0.1 JavaFX 21.0.1+6 ``` ```...

@Siedlerchr The reproducer looks normal (i.e., like in your screenshot) for me (on XFCE). > Can you all try if this version works ? https://builds.jabref.org/pull/10747/merge I downgraded javafx so we...

The updated reproducer looks like this (right after starting it):  The issue would maybe show up if the "Others" is closed by default.

Before unfolding "Other":  and afterwards:  I.e., it does not automatically resize. However, it is not _exactly_ the same as for JabRef: The buttons seem to actually "vanish" instead...