Marco Minutoli

The menu gets corrupted also when whitespace-mode is enabled (with default configuration).

We need to schedule a design meeting.

Hello @seibert, honestly it never happened to me :-). It works on my work laptop where I have the ID assigned by our IT. Which system do you have? I...

We will need a design session before we move forward.

@marwick4 It is already on our radar. We are going through a major restructuring of the library right now and all our effort is in finishing that ASAP. if you...