repos / INblobs / commit
summary | shortlog | log | tree | commit | commitdiff | headdiff
unified | plain | darcs
Small improvements and fixes
authorMiguel Vilaca <jmvilaca@di.uminho.pt>
local dateFri, 17 Feb 2006 12:09:44
dateFri, 17 Feb 2006 12:09:44
hash20060217120944-970b1-4cfa3bf4fc34a9962e591a7f55dea7b5ee4d62a1
Small improvements and fixes

This patch:
fixes a bug concerning the restore of empty nets from file
updates webpage
change default display options to show edges names
changes to a better name one of the default palette elements
creates a parameter to control principal ports size
7 file(s) changed:
INblobs.png (binary) diff | history | annotate
NatIN.INblobpalette +4 -4 diff | history | annotate
index.html +20 -6 diff | history | annotate
src/Constants.hs +1 -0 diff | history | annotate
src/DisplayOptions.hs +1 -1 diff | history | annotate
src/NetworkFile.hs +2 -2 diff | history | annotate
src/Ports.hs +2 -3 diff | history | annotate
Crece desde el pueblo el futuro / crece desde el pie