Code

Custom diffs#138

Code

Open

gagarski wants to merge 11 commits intomastervorpal-research/kotoed:masterfrom custom_diffsvorpal-research/kotoed:custom_diffsCopy head branch name to clipboard

+862-261

Commits

Commits on Sep 19, 2022

• Initial implementation of custom diffs

  gagarski

  committed
  de17782

  Copy full SHA for de17782

• Remove diff functionality from code list endpoints

  gagarski

  committed
  7875db4

  Copy full SHA for 7875db4

• bugfix

  gagarski

  committed
  da7387c

  Copy full SHA for da7387c

• Status bar to display diff range

  gagarski

  committed
  e37d60a

  Copy full SHA for e37d60a

• Bugfix again

  gagarski

  committed
  e38b0f2

  Copy full SHA for e38b0f2

Commits on Sep 20, 2022

• Remove Marat's UX joke

  gagarski

  committed
  d03c94a

  Copy full SHA for d03c94a

Commits on Oct 12, 2022

• Persistence for diff mode preference

  gagarski

  committed
  c746482

  Copy full SHA for c746482

• oops

  gagarski

  committed
  e4b4b7f

  Copy full SHA for e4b4b7f

• oops2

  gagarski

  committed
  427f0a8

  Copy full SHA for 427f0a8

• m

  gagarski

  committed
  7d087dd

  Copy full SHA for 7d087dd

Commits on Oct 26, 2022

• Review fixes

  gagarski

  committed
  5185b98

  Copy full SHA for 5185b98