Oscar Gustafsson (3310859d) at 14 Sep 12:31
The current size, 15 x 19 comes from a given system. With different fonts, something else will show up.
The right thing would be to draw an SVG icon, but at least for now fix the size to e.g. 19x19. (Edit: in !122 the port width was fixed.)
Oscar Gustafsson (3310859d) at 14 Sep 12:31
Fix HiDPI issues
Oscar Gustafsson (4772b613) at 14 Sep 12:26
Fix HiDPI issues
Oscar Gustafsson (15482098) at 14 Sep 12:20
Fix HiDPI issues
I was using my local build when I noticed this, but the public documentation seems to be working as expected. Closed.
Mikael Henriksson (145d725b) at 08 Sep 06:47
Oscar Gustafsson (145d725b) at 08 Sep 06:47
resources.py: add contains method for ProcessCollection
Add __contains__()
method to ProcessCollection such that
if my_mem_var in my_collection:
...
can be performed. Relevant issue: #241
Add __contains__()
method to ProcessCollection such that
if my_mem_var in my_collection:
...
can be performed. Relevant issue: #241
Mikael Henriksson (a314aa83) at 08 Sep 06:46
Oscar Gustafsson (a314aa83) at 08 Sep 06:46
resources.py: better argument sanitization for generate_memory_base...
... and 5 more commits
This merge request comes with the following changes:
**kwargs
to draw_exclusion_graph_coloring()
for possibly fancier exclusion graph drawing