Code

edit action history panel#97

Code

Merged

adamsmd merged 68 commits intodevhazelgrove/hazel:devfrom undohazelgrove/hazel:undoCopy head branch name to clipboardFeb 15, 2020

+1,942-776

Commits

Commits on Jan 2, 2020

• Implement undo and redo

  PPER

  committed
  a507954

  Copy full SHA for a507954

• Merge branch 'dev' into undo

  PPER

  authored
  58f0135

  Copy full SHA for 58f0135

• Fix duplicate user_newlines

  adamsmd

  authored
  627d26c

  Copy full SHA for 627d26c

• modify redo and undo

  PPER

  committed
  24dee2c

  Copy full SHA for 24dee2c

• resolve conflict

  PPER

  committed
  4c39c75

  Copy full SHA for 4c39c75

• integrate into new module UndoHistory

  PPER

  committed
  34f4cb7

  Copy full SHA for 34f4cb7

• Test zoe's ssh

  PPER

  committed
  8b16042

  Copy full SHA for 8b16042

Commits on Jan 3, 2020

• modify Zlist.shift_next and prev to return option type

  PPER

  committed
  2e14acc

  Copy full SHA for 2e14acc

Commits on Jan 4, 2020

• small adjustment

  PPER

  committed
  8d2aba4

  Copy full SHA for 8d2aba4

• add function undoable_action

  PPER

  committed
  d37d48c

  Copy full SHA for d37d48c

• undo and redo button

  PPER

  committed
  c42da01

  Copy full SHA for c42da01

• history panel

  PPER

  committed
  94b007b

  Copy full SHA for 94b007b

Commits on Jan 7, 2020

• history panel draft

  PPER

  committed
  defd7ec

  Copy full SHA for defd7ec

• Merge branch 'dev' into undo

  PPER

  committed
  f21fecd

  Copy full SHA for f21fecd

• history panel

  PPER

  committed
  7bf0378

  Copy full SHA for 7bf0378

• resolve confilt after merging dev

  PPER

  committed
  867c99a

  Copy full SHA for 867c99a

Commits on Jan 10, 2020

• basic history panel without group

  PPER

  committed
  31a100d

  Copy full SHA for 31a100d

• set different classes to prev and suc history

  PPER

  committed
  db0edab

  Copy full SHA for db0edab

• click to go to certain edit-state

  PPER

  committed
  2e3dd0e

  Copy full SHA for 2e3dd0e

• basic history panel

  PPER

  committed
  f3c99e1

  Copy full SHA for f3c99e1

• modify display history content

  PPER

  committed
  5bc2ad3

  Copy full SHA for 5bc2ad3

• finish basic panel, start to group edit actions

  PPER

  committed
  ec01112

  Copy full SHA for ec01112

Commits on Jan 11, 2020

• some problems on red/undo shift

  PPER

  committed
  90f2734

  Copy full SHA for 90f2734

• history panel with grouping

  PPER

  committed
  cc68601

  Copy full SHA for cc68601

• finish basic edit action his panel

  PPER

  committed
  7f02a54

  Copy full SHA for 7f02a54

• modify ui. start to add card state

  PPER

  committed
  b5c71e0

  Copy full SHA for b5c71e0

• add overall expand control button

  PPER

  committed
  c6fd05c

  Copy full SHA for c6fd05c

• fix toggle-all hidden history button

  PPER

  committed
  1576b9a

  Copy full SHA for 1576b9a

• complete edit action panel without card splited

  PPER

  committed
  6d78894

  Copy full SHA for 6d78894

Commits on Jan 14, 2020

• undo_history store cardstacks_state

  PPER

  committed
  61968f8

  Copy full SHA for 61968f8

Commits on Jan 17, 2020

• readable data structure

  PPER

  committed
  323a3b4

  Copy full SHA for 323a3b4

• make code more readable. start to try to swap suffix and prefix

  PPER

  committed
  ca64f96

  Copy full SHA for ca64f96

• bug in line 121 in historypanel.re

  PPER

  committed
  5433dee

  Copy full SHA for 5433dee

• fix order but have bugs in clicking

  PPER

  committed
  f6906c0

  Copy full SHA for f6906c0

• fix clicking

  PPER

  committed
  81631d4

  Copy full SHA for 81631d4

• rename state_list to group_entries

  PPER

  committed
  0aa3be0

  Copy full SHA for 0aa3be0

Commits on Jan 19, 2020

• reverse store order

  PPER

  committed
  c3d33e9

  Copy full SHA for c3d33e9

Commits on Jan 21, 2020

• make cardstacks into seperate file

  PPER

  committed
  ff0da59

  Copy full SHA for ff0da59

• generate id when generate visualization

  PPER

  committed
  dab07cf

  Copy full SHA for dab07cf

• delete id in undo_history

  PPER

  committed
  7dbb4d9

  Copy full SHA for 7dbb4d9

• add some comment

  PPER

  committed
  5a210e2

  Copy full SHA for 5a210e2

• history panel

  PPER

  committed
  5a4ecfb

  Copy full SHA for 5a4ecfb

Commits on Jan 29, 2020

• merge

  PPER

  committed
  d582439

  Copy full SHA for d582439

• fix bug after merging dev, start to try new grouping

  PPER

  committed
  4bc7429

  Copy full SHA for 4bc7429

Commits on Feb 1, 2020

• extract cursor_term

  PPER

  committed
  326fd53

  Copy full SHA for 326fd53

• fix extract cursor term

  PPER

  committed
  3fa0230

  Copy full SHA for 3fa0230

• start to change undohistory data type

  PPER

  committed
  08cd1ac

  Copy full SHA for 08cd1ac

• update cursor_term

  PPER

  committed
  81b13a5

  Copy full SHA for 81b13a5

• remove cursor_term form CursorInfo and add to UndoHistory

  PPER

  committed
  9328b87

  Copy full SHA for 9328b87

• finish grouping, start to build a func of display string

  PPER

  committed
  e3bb4ad

  Copy full SHA for e3bb4ad

• display string draft

  PPER

  committed
  8070b58

  Copy full SHA for 8070b58

Commits on Feb 2, 2020

• zline need to be modified

  PPER

  committed
  3944994

  Copy full SHA for 3944994

• finish basic new version of panel, start to improve empty lines grouping

  PPER

  committed
  ba0adb8

  Copy full SHA for ba0adb8

• fix empty line group

  PPER

  committed
  e56b25f

  Copy full SHA for e56b25f

• try to display 'clear lines' when cursor at the front of the hole and press backspace

  PPER

  committed
  e8340a4

  Copy full SHA for e8340a4

• clear some unused functions and comments

  PPER

  committed
  e4450b1

  Copy full SHA for e4450b1

• add some comments

  PPER

  committed
  c4affdf

  Copy full SHA for c4affdf

Commits on Feb 3, 2020

• final check, add some comments

  PPER

  committed
  6e40072

  Copy full SHA for 6e40072

Commits on Feb 4, 2020

• formatting

  cyrus-

  committed
  bb25380

  Copy full SHA for bb25380

• construct keyword

  PPER

  committed
  f2b332b

  Copy full SHA for f2b332b

• display delete content

  PPER

  committed
  34bb4fa

  Copy full SHA for 34bb4fa

Commits on Feb 5, 2020

• change dom div

  PPER

  committed
  9bec234

  Copy full SHA for 9bec234

• fix some display case

  PPER

  committed
  3375dcb

  Copy full SHA for 3375dcb

• resolve conflict

  PPER

  committed
  bb38190

  Copy full SHA for bb38190

• delete some comments

  PPER

  committed
  eb894a2

  Copy full SHA for eb894a2

Commits on Feb 6, 2020

• refmt

  cyrus-

  committed
  9c0d470

  Copy full SHA for 9c0d470

Commits on Feb 12, 2020

• merge to new dev

  PPER

  committed
  228c239

  Copy full SHA for 228c239

• add new line detection

  PPER

  committed
  b505ff6

  Copy full SHA for b505ff6