repos / INblobs / commit
summary | shortlog | log | tree | commit | commitdiff | headdiff
unified | plain | darcs
Multi selection fixes
authorMiguel Vilaca <jmvilaca@di.uminho.pt>
local dateFri, 18 Aug 2006 12:20:58
dateFri, 18 Aug 2006 11:20:58
hash20060818112058-970b1-45a10d2f1a8827dfc256102e4370a860e43a5444
Multi selection fixes

Fixes this bugs concerning multi selection:
- When a rectangular area selection was made, the DEL/BACKSPACE buttons were doing nothing.
- Multiple selection by CONTROL key is now working.
3 file(s) changed:
html/HowToUse.html +4 -4 diff | history | annotate
src/NetworkControl.hs +7 -0 diff | history | annotate
src/NetworkUI.hs +1 -1 diff | history | annotate
Crece desde el pueblo el futuro / crece desde el pie