Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revisionBoth sides next revision | ||
undertype_notes [2013-06-25 10:38] – nik | undertype_notes [2013-06-25 10:46] – nik | ||
---|---|---|---|
Line 51: | Line 51: | ||
| Key_E | wantEdit ( static_cast< | | Key_E | wantEdit ( static_cast< | ||
+ | |||
+ | ==== feature requests / bug reports ==== | ||
+ | * use backspace and delete keys interchangeably | ||
+ | * copy & paste (despite metaphorical inconsistency) | ||