undo and edit action history panel #208

adamsmd · 2020-02-15T03:44:58Z

This new pull request is to replace #97, which I accidentally, prematurely merged.
Thus @PPER is the main developer for this pull request, not me.

…on_hover=false

cyrus-

fix the issue with doing an undo and then a new action

src/hazelweb/www/style.css

src/hazelweb/util/JSUtil.re

cyrus-

Nicely done!

This was referenced Feb 15, 2020

edit action history panel #97

Merged

Undo / redo #70

Closed

PPER force-pushed the undo branch from e9b576a to 2340d15 Compare February 16, 2020 15:24

adamsmd linked an issue Feb 17, 2020 that may be closed by this pull request

Undo / redo #70

Closed

PPER added 26 commits February 25, 2020 15:02

replace cursor_pos withcursor_path

124f90b

findd out why follow return None

206b22c

make undo/redo not totally movement-agnostic

98fce4e

try a new way to make caret insensible to undo

e56e734

finish movement{

e8c0a5e

build new cursor_jump

06dc9bf

combine edit and delete

d845390

combine construct function

45c3a11

fix combine construct function

23ae480

None info display func

dba5e1e

reset to debug

f441e08

fix delte empty line

809af1a

fix caret move

6f2afdb

start to clear data structure

64d88bc

start to simplify data structure / delete display hole

63d7ab3

combine construct and insert

12defed

start to delete display hole part

b3b35b2

clear display hole from insertion

4791138

reset to debug

0bd5125

fix empty line delete

68db8e1

fix delete after moving cursor

7eeffae

start to combine delete spaces

849510d

fix combine inserting space

88335c1

simplify data structure

9aacb7b

combine cursormove into the prev group

c22a0b4

set all move action is_complete=false

f0416c0

PPER added 6 commits May 24, 2020 13:54

add alias

7cc2a99

make action non-optional

a53662d

add comment

6f7c26d

disable redo/und when cannot

db191e4

rename

fbf9a26

add comments

4a57d69

PPER marked this pull request as ready for review May 24, 2020 19:02

PPER and others added 5 commits May 24, 2020 15:34

merge with dev

dcb2ef5

fix firefox css

a037bb8

fixed deriving sexp + renamed a few types

0b2369f

Merge branch 'undo' of github.com:hazelgrove/hazel into undo

8585e8f

merge and fade out buttons when disabled

d19791d

cyrus- marked this pull request as draft May 26, 2020 18:18

PPER added 8 commits May 27, 2020 15:35

hover when scroll

994520c

try to realize hover when scrolling but failed

d6da111

merge and resolv conflict

eb3c6d1

try to add clas for group_view to debug

39f9a18

fix hover when scrolling

664cbf5

clear debug info

b6aa98b

add comments

44ff6b0

fix preview effect should not be triggered when scrolling if preview_…

859eea8

…on_hover=false

cyrus- requested changes May 28, 2020

View reviewed changes

src/hazelweb/www/style.css Show resolved Hide resolved

src/hazelweb/util/JSUtil.re Outdated Show resolved Hide resolved

PPER added 2 commits May 28, 2020 18:55

fix clear suffix entries when add new entries

2b80e2d

rename

881af0e

PPER marked this pull request as ready for review May 28, 2020 23:00

cyrus- added 2 commits May 30, 2020 20:36

cleanups

ec8d71d

move Undo History Panel specific functionality out of JSUtil

ccc0e0a

cyrus- approved these changes May 31, 2020

View reviewed changes

cyrus- merged commit d2250ef into dev May 31, 2020

cyrus- deleted the undo branch May 31, 2020 00:43

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

undo and edit action history panel #208

undo and edit action history panel #208

adamsmd commented Feb 15, 2020

cyrus- left a comment

cyrus- left a comment

undo and edit action history panel #208

undo and edit action history panel #208

Conversation

adamsmd commented Feb 15, 2020

cyrus- left a comment

Choose a reason for hiding this comment

cyrus- left a comment

Choose a reason for hiding this comment