Code

Undo and Redo Shortcuts!#360

Code

Merged

James-Oswald merged 20 commits intomasterRAIRLab/Peirce-My-Heart:masterfrom 270-undo-redo-buttonsRAIRLab/Peirce-My-Heart:270-undo-redo-buttonsCopy head branch name to clipboardApr 13, 2024

+642-548

Commits

Commits on Jan 27, 2024

• Basic architecture for draw history. Init commit

  RyanR712

  committed
  531aced

  Copy full SHA for 531aced

• Changed ProofNode.appliedRule to enum

  RyanR712

  committed
  8aca11f

  Copy full SHA for 8aca11f

• AEG-IO update

  RyanR712

  committed
  958d3ce

  Copy full SHA for 958d3ce

Commits on Jan 29, 2024

• Merge branch 'master' into 270-undo-redo-buttons

  James-Oswald

  authored
  fd96e22

  Copy full SHA for fd96e22

Commits on Feb 13, 2024

• Merge branch 'master' into 270-undo-redo-buttons

  RyanR712

  authored
  95ab70d

  Copy full SHA for 95ab70d

Commits on Mar 17, 2024

• Merge branch 'master' into 270-undo-redo-buttons

  RyanR712

  authored
  2c8ecea

  Copy full SHA for 2c8ecea

• Ctrl+Z working for draw tools

  RyanR712

  committed
  e7b7122

  Copy full SHA for e7b7122

Commits on Mar 18, 2024

• Merge branch 'master' into 270-undo-redo-buttons

  James-Oswald

  authored
  5a6f574

  Copy full SHA for 5a6f574

• Ctrl+Y working for draw tools

  RyanR712

  committed
  20f724c

  Copy full SHA for 20f724c

• Undo works. No proof bar updates. Lotsa spaghetti

  RyanR712

  committed
  21ef7e9

  Copy full SHA for 21ef7e9

• Proof undo w/ buttons. Despaghettification soon

  RyanR712

  committed
  e4252a5

  Copy full SHA for e4252a5

• Refactoring and docs

  RyanR712

  committed
  e2807f7

  Copy full SHA for e2807f7

Commits on Mar 19, 2024

• Merge branch 'master' into 270-undo-redo-buttons

  RyanR712

  authored
  6b1fdb6

  Copy full SHA for 6b1fdb6

Commits on Mar 21, 2024

• Removed unnecessary data structures

  RyanR712

  committed
  8118181

  Copy full SHA for 8118181

Commits on Mar 22, 2024

• Requested organization changes

  RyanR712

  committed
  85b5243

  Copy full SHA for 85b5243

• These too

  RyanR712

  committed
  97e02d3

  Copy full SHA for 97e02d3

Commits on Apr 2, 2024

• Merge branch 'master' into 270-undo-redo-buttons

  RyanR712

  authored
  fbfa4b0

  Copy full SHA for fbfa4b0

Commits on Apr 3, 2024

• Draw mode no longer prevents CTRL+Y on clear

  RyanR712

  committed
  d3f371f

  Copy full SHA for d3f371f

Commits on Apr 4, 2024

• Proof mode does not prevent CTRL+Y on clear

  RyanR712

  committed
  289bddc

  Copy full SHA for 289bddc

Commits on Apr 12, 2024

• Merge branch 'master' into 270-undo-redo-buttons

  RyanR712

  authored
  f054fe1

  Copy full SHA for f054fe1