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.
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.