Code

Focus with Arrow Keys#84

Code

Merged

MacroLens merged 6 commits intomasterBram-Hub/aris:masterfrom change-focusBram-Hub/aris:change-focusCopy head branch name to clipboardApr 28, 2022

+47-3

Commits

Commits on Apr 28, 2022

• add: id attribute to proof-line

  MacroLens

  committed
  c7f5571

  Copy full SHA for c7f5571

• modify: ExprEntry to include IDs on input fields.

  MacroLens

  committed
  32ddffb

  Copy full SHA for 32ddffb

• modify: mod.rs add functionality for up/down arrow

  Show description for ce5029d
  MacroLens

  committed
  ce5029d

  Copy full SHA for ce5029d

• format: Cargo fmt run

  MacroLens

  committed
  7421138

  Copy full SHA for 7421138

• Merge branch 'master' into change-focus

  MacroLens

  committed
  cad9e5e

  Copy full SHA for cad9e5e

• fix: lint issue

  MacroLens

  committed
  9b56a21

  Copy full SHA for 9b56a21