Marco Minutoli comments

Repositories
Issues
Comments

Results 6 comments of


                                            Marco Minutoli

Cascade menu corrupted

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

uniform algorithm API

We need to schedule a design meeting.

docker container user ID issue

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...

type-hierarchy for insert iterators

We will need a design session before we move forward.

String serialization

@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...

io.tcl error: invalid command name "exclude_io_pin_region"

> That's from Wed Dec 11. Please try with more current version I get the same error when using an environment created through the flake. The revision that is there...