Code

Improving proof step renaming#290

Code

Merged

RazinShaikh merged 5 commits intomasterzxcalc/zxlive:masterfrom proof-step-rename-enhancezxcalc/zxlive:proof-step-rename-enhanceCopy head branch name to clipboardJul 4, 2024

+47-37

Commits

Commits on Jul 4, 2024

• moved the handlers for step view inside the step view class

  RazinShaikh

  committed
  499ed20

  Copy full SHA for 499ed20

• add rename to the context menu

  RazinShaikh

  committed
  8073550

  Copy full SHA for 8073550

• trying to use the built in editor to rename

  RazinShaikh

  committed
  527ba14

  Copy full SHA for 527ba14

• typing

  RazinShaikh

  committed
  138ff48

  Copy full SHA for 138ff48

• making renaming undoable

  RazinShaikh

  committed
  ec13b1d

  Copy full SHA for ec13b1d