This bundle is a more thorough follow-up to my renamings in patch1920 that
raised some eyebrows.
3 patches for repository http://darcs.net/screened:
patch 8f2ac987eddfe731ba92b0096c7c3a9631c1b1aa
Author: Ben Franksen <ben.franksen@online.de>
Date: Fri Sep 20 15:58:56 CEST 2019
* minor refactor and layout cleanup of D.UI.SelectChange.textSelect
patch 7f8162bf3aaf6a958ccdd7ff58ca87ddf8ff62f9
Author: Ben Franksen <ben.franksen@online.de>
Date: Fri Sep 20 16:41:30 CEST 2019
* factor out initialSelectionState
This also removes the (unused) prim splitter from runInteractive in the
whatsnew command.
patch 814d2547aa1f25249f2cfff43a483a01426c8fab
Author: Ben Franksen <ben.franksen@online.de>
Date: Fri Sep 20 16:44:37 CEST 2019
* rename data types and functions that support patch selection
This renames *Context to *Config except for InteractiveSelectionContext
which is renamed to InteractiveSelectionState.
Oops. The last patch was recorded incomplete. Resending to fix that.
3 patches for repository http://darcs.net/screened:
patch 8f2ac987eddfe731ba92b0096c7c3a9631c1b1aa
Author: Ben Franksen <ben.franksen@online.de>
Date: Fri Sep 20 15:58:56 CEST 2019
* minor refactor and layout cleanup of D.UI.SelectChange.textSelect
patch 7f8162bf3aaf6a958ccdd7ff58ca87ddf8ff62f9
Author: Ben Franksen <ben.franksen@online.de>
Date: Fri Sep 20 16:41:30 CEST 2019
* factor out initialSelectionState
This also removes the (unused) prim splitter from runInteractive in the
whatsnew command.
patch 8961acc08f181ef121ae54c4c96160f1f6e33457
Author: Ben Franksen <ben.franksen@online.de>
Date: Fri Sep 20 17:03:25 CEST 2019
* rename data types and functions that support patch selection
This renames *Context to *Config except for InteractiveSelectionContext
which is renamed to InteractiveSelectionState.