Comment 17 for bug 593962

Revision history for this message
Maciej Suminski (orsonmmz) wrote :

Hi neels,

To answer your question regarding BOARD_COMMITs: such options are simply not undoable, simlarly to display preferences or design rules. I think undoing options is not expected by the users, though I might be wrong.