Commit Graph

2073 Commits

Author SHA1 Message Date
Jonathan Daugherty
c501330d79 guide: wording 2022-08-05 15:17:40 -07:00
Jonathan Daugherty
84703cb419 guide: update 2022-08-05 15:17:00 -07:00
Jonathan Daugherty
d9d62f4853 guide: add material on custom keybindings 2022-08-05 13:52:43 -07:00
Jonathan Daugherty
cf5be91a56 Merge branch 'master' into documentation/brick-1.0-staging 2022-08-05 13:00:30 -07:00
Jonathan Daugherty
1e1843916f guide: whitespace 2022-08-05 10:53:39 -07:00
Jonathan Daugherty
f2649e3b5d guide: update Extents section 2022-08-05 10:45:44 -07:00
Jonathan Daugherty
9c45c99608 guide: header formatting 2022-08-05 10:45:36 -07:00
Jonathan Daugherty
45a6d57717 CustomKeybindingDemo: add helpful tip 2022-08-04 19:23:34 -07:00
Jonathan Daugherty
3817b456e8 CustomKeybindingDemo: layout improvements 2022-08-04 19:21:38 -07:00
Jonathan Daugherty
b8735a16bc CustomKeybindingDemo: UI nit 2022-08-04 19:21:30 -07:00
Jonathan Daugherty
8f2716ab2a CustomKeybindingDemo: comment 2022-08-04 19:16:44 -07:00
Jonathan Daugherty
b0fbd7f638 CustomKeybindingDemo: improve comments 2022-08-04 19:16:15 -07:00
Jonathan Daugherty
1ba4c0974d Comment nit 2022-08-04 19:13:13 -07:00
Jonathan Daugherty
ad91a0b727 CustomKeybindingDemo: add a working example INI file to load 2022-08-04 19:10:31 -07:00
Jonathan Daugherty
d10e6cd374 CustomKeybindingDemo: demonstrate loading custom bindings 2022-08-04 19:07:47 -07:00
Jonathan Daugherty
2336cbb2f0 keybindingsFromFile: clarify exception behavior 2022-08-04 18:59:36 -07:00
Jonathan Daugherty
578872f819 docs: update Makefile 2022-08-04 18:53:48 -07:00
Jonathan Daugherty
2b130905dc withAttr: clarify behavior 2022-08-04 18:51:06 -07:00
Jonathan Daugherty
6f1b62ae53 AttrName: remove IsString instance
This change is motivated by the API wart that results from the
overloading of both "<>" and string literals that resulted in code like
this:

  a :: AttrName
  a = "blah" <> "things"

While this worked to create an AttrName with two segments, it is far too
easy to read this as two strings concatenated. The overloading hides
what is really going on with the segments of the attribute name. The way
to write the above example after this change is:

  a :: AttrName
  a = attrName "blah" <> attrName "things"
2022-08-04 18:44:57 -07:00
Jonathan Daugherty
5e7a6505a9 guide: more edits 2022-08-04 18:27:32 -07:00
Jonathan Daugherty
9b8b901a21 guide: update for EventM changes 2022-08-04 18:18:44 -07:00
Jonathan Daugherty
202965d143 guide: typo 2022-08-04 14:49:17 -07:00
Jonathan Daugherty
c794550c88 Remove Sam Tay's tutorial to reduce maintenance burden 2022-08-04 14:41:38 -07:00
Jonathan Daugherty
bf58926132 Whitespace 2022-08-03 08:19:43 -07:00
Jonathan Daugherty
821ef7f5a1 Keybindings: use "k" for key event type variable, not "e", to avoid confusion with App's use of "e" 2022-08-03 08:18:39 -07:00
Jonathan Daugherty
06cb08e13d Keybindings.Pretty: fix <> import 2022-08-02 20:27:56 -07:00
Jonathan Daugherty
d32469f2ef EventM.hs: conditionally import MonadFail 2022-08-02 20:23:52 -07:00
Jonathan Daugherty
294d56390f EventM: skip MonadFail derivation on older GHCs 2022-08-02 20:19:00 -07:00
Jonathan Daugherty
6c0fb8da24 CustomKeybindingDemo: nit 2022-08-02 20:13:22 -07:00
Jonathan Daugherty
4225f813a2 CustomKeybindingDemo: add another fixed key handler 2022-08-02 20:13:01 -07:00
Jonathan Daugherty
a768c6600d CustomKeybindingDemo: nit 2022-08-02 20:10:33 -07:00
Jonathan Daugherty
6bc22b87d7 Binding: ignore modifier order and duplication 2022-08-02 20:09:13 -07:00
Jonathan Daugherty
3383d61101 lookupKeyEvent: ignore case and leading/trailing whitespace 2022-08-02 20:00:29 -07:00
Jonathan Daugherty
627222554b keyEvents: update docs 2022-08-02 20:00:20 -07:00
Jonathan Daugherty
a4b04c3b1f keyEvents: raise an exception on invalid input 2022-08-02 19:58:49 -07:00
Jonathan Daugherty
c9686dd713 keybindingHelpWidget: docs 2022-08-02 19:54:29 -07:00
Jonathan Daugherty
b3cb7a54b4 CustomKeybindingDemo: edit 2022-08-02 19:52:14 -07:00
Jonathan Daugherty
f6ec9233ab CustomKeybindingDemo: comment 2022-08-02 19:51:05 -07:00
Jonathan Daugherty
dc783e4126 CustomKeybindingDemo: comment 2022-08-02 19:50:13 -07:00
Jonathan Daugherty
d7f8e4daf4 CustomKeybindingDemo: add an example of a hard-coded key event handler 2022-08-02 19:48:47 -07:00
Jonathan Daugherty
4884df8aa6 keybindEventHelpWidget: slightly improve formatting of "comments" 2022-08-02 19:48:37 -07:00
Jonathan Daugherty
286c88b137 CustomKeybindingDemo: comment 2022-08-02 19:44:44 -07:00
Jonathan Daugherty
5996440eb3 CustomKeybindingDemo: comment 2022-08-02 19:44:05 -07:00
Jonathan Daugherty
1807e6d8d9 CustomKeybindingDemo: comments 2022-08-02 19:42:57 -07:00
Jonathan Daugherty
ccad8abb27 keybindingHelpWidget: do not require input to come with a section heading 2022-08-02 19:40:23 -07:00
Jonathan Daugherty
a359dc0d82 keybindEventHelpWidget: cleanup 2022-08-02 19:24:43 -07:00
Jonathan Daugherty
fec4c11477 Add initial custom keybinding demo program 2022-08-02 19:24:35 -07:00
Jonathan Daugherty
a8e1bf5909 Merge refactor/event-state-monad 2022-08-02 18:49:36 -07:00
Jonathan Daugherty
dac749f9e0 keybindingsFromIni: document return value 2022-08-02 10:53:14 -07:00
Jonathan Daugherty
05c8c16787 KeyDispatcher: mention INI routine step 2022-08-02 10:51:57 -07:00