Commit Graph

1739 Commits

Author SHA1 Message Date
Jonathan Daugherty
4749694d5a Bump version, update changelog 2022-07-09 08:44:05 -07:00
Jonathan Daugherty
c832aef14a Improve editor cursor placement with moveCursorClosest from text-zipper 0.12 2022-07-09 08:40:04 -07:00
Jonathan Daugherty
8eb41ca8c3 handleEditorEvent: handle mouse click events to place the cursor (adds Eq constraint to handleEditorEvent) 2022-07-09 08:30:42 -07:00
Jonathan Daugherty
65645be3d2 Edit: handle BrickEvents, not Events
This is a breaking API change that changes handleEditorEvent to take
BrickEvents instead of Events. This paves the way for handling Brick's
mouse events in the editor.
2022-07-09 08:23:32 -07:00
Jonathan Daugherty
d2b884586e Edit: let/where refactor 2022-07-09 08:07:28 -07:00
Jonathan Daugherty
2a99ee3fa0 Whitespace 2022-07-09 08:06:49 -07:00
Jonathan Daugherty
41387854ae Bump version, update changelog 2022-07-05 08:17:25 -07:00
Jonathan Daugherty
4c955ad907 Render.hs: catch all exceptions, not just VtyConfigurationError 2022-07-05 08:15:18 -07:00
Jonathan Daugherty
1bed2c8268 Implement a few linter suggestions 2022-07-04 21:11:12 -07:00
Jonathan Daugherty
ac7a8aeb71 Bump version, update changelog 2022-07-04 09:27:25 -07:00
Jonathan Daugherty
583ce85953 Add missing pragma 2022-07-04 09:21:55 -07:00
Jonathan Daugherty
e23c1ab285 Render.hs: add conditional import 2022-07-04 09:20:31 -07:00
Jonathan Daugherty
0a3a8f8012 Upgrade Vty and expected Show formatting of Picture in Render.hs 2022-07-04 09:14:23 -07:00
Jonathan Daugherty
62baeb66dd Render.hs: improve message on skip 2022-07-04 09:09:13 -07:00
Jonathan Daugherty
5fb650fd71 Render.hs: pass trivially on absence of terminal 2022-07-04 09:00:28 -07:00
Jonathan Daugherty
5993603b02 Render.hs test program: various enhancements 2022-07-04 08:53:35 -07:00
Jonathan Daugherty
fabc13c627 Render.hs: whitespace 2022-07-04 08:47:06 -07:00
Jonathan Daugherty
1901af0792 Render.hs: whitespace 2022-07-04 08:46:47 -07:00
Jonathan Daugherty
59da9b55e5 Update test render program to match renderWidget API change 2022-07-04 08:43:34 -07:00
Jonathan Daugherty
30a65fc7e0 renderWidget: add attribute map argument and update documentation 2022-07-04 08:41:00 -07:00
Jonathan Daugherty
f3ef855f76 renderWidget: whitespace 2022-07-04 08:32:12 -07:00
Jonathan Daugherty
835d875331
Merge pull request #374 from valyagolev/vg-render-widget
Add Brick.Main.renderWidget
2022-07-04 08:28:03 -07:00
Valentin Golev
c41daa9368 catch VtyMissingTermEnvVar 2022-07-04 02:40:00 +02:00
Valentin Golev
a5249e5e92 simplified renderWidget, and Render test example 2022-07-03 23:49:59 +02:00
Valentin Golev
b68310e740 renderWidget function 2022-07-01 04:02:27 +02:00
Jonathan Daugherty
c06231cce9 table: another haddock addition 2022-06-20 14:21:11 -07:00
Jonathan Daugherty
84573dace9 table: more haddock additions 2022-06-20 14:17:25 -07:00
Jonathan Daugherty
322bd7d0bb Update README and README demo program to match 2022-06-19 21:52:45 -07:00
Jonathan Daugherty
410fcaa212 Forms: typo 2022-06-19 14:18:41 -07:00
Jonathan Daugherty
fa1330d216 cabal: update copyright range 2022-06-19 14:17:21 -07:00
Jonathan Daugherty
aac39c4801 Table: more cleanup 2022-06-19 14:08:28 -07:00
Jonathan Daugherty
03d2a10129 table: cleanup 2022-06-19 13:48:23 -07:00
Jonathan Daugherty
16bf5b7e59 Table: improve documentation 2022-06-19 13:37:00 -07:00
Jonathan Daugherty
a039911c9e Table: use multi-way if to clean up 2022-06-19 13:30:47 -07:00
Jonathan Daugherty
cb7afe24a8 README: update border drawing example 2022-06-19 13:25:17 -07:00
Jonathan Daugherty
da6a7994e6 Bump version, update changelog 2022-06-19 13:13:34 -07:00
Jonathan Daugherty
c4ed0a4a91 Add missing import for older GHCs 2022-06-19 13:12:26 -07:00
Jonathan Daugherty
708c74c339 Bump version, update changelog 2022-06-19 13:05:53 -07:00
Jonathan Daugherty
04db41b1f3 Table: remove non-empty and all-empty cell restrictions 2022-06-19 13:03:03 -07:00
Jonathan Daugherty
4b1c6ab808
Merge pull request #373 from dmwit/issue-370
make empty BorderMaps even emptier (resolves issue 370)
2022-06-19 12:19:13 -07:00
Daniel Wagner
539a594c27 make empty BorderMaps even emptier (issue 370)
The BorderMap module provides a notion of an empty map. Previously, this
was accidentally conflating two kinds of emptiness: an map that doesn't
track points, and a map that tracks a point (or multiple points) but
doesn't associate it with anything. This meant that the empty map was
not a unit for the union operation, which seems like a natural
expectation.

This has been resolved by revising the empty map to be the one that
tracks no points. Callers that expected that behavior were left alone,
while callers that expected the other behavior were fixed to use
`emptyCoordinates`.
2022-06-19 14:51:22 -04:00
Jonathan Daugherty
6ccdd8c1f1 emptyResult: use explicit record syntax 2022-06-18 10:08:17 -07:00
Jonathan Daugherty
9cc4c7d57f Bump version, update changelog 2022-06-18 09:10:34 -07:00
Jonathan Daugherty
67c1b99989 Table: add additional cautionary note to the docs about empty cells 2022-06-18 09:05:35 -07:00
Jonathan Daugherty
55c13f7ff4 Table: fill and pad empty cells to avoid layout issues (fixes #369)
This change makes it so that when cells are empty (have zero width and
height) and are top- and left-aligned, we pad them to take up the same
amount of width and height as their row- and column-wise neighbors. This
was already the case for other alignment settings, but the top- and
left-aligned cases were not getting padded.
2022-06-18 09:03:43 -07:00
Jonathan Daugherty
d196695ab7 relativeTo: remove unused Show constraint 2022-05-24 17:43:21 -07:00
Jonathan Daugherty
c416d04a4a relativeTo: improve documentation 2022-05-24 17:43:13 -07:00
Jonathan Daugherty
b97300faf7 LayerDemo: add missing CPP pragma 2022-05-23 13:51:24 -07:00
Jonathan Daugherty
2bc6db1973 LayerDemo: fix for older GHCs 2022-05-23 13:44:00 -07:00
Jonathan Daugherty
83a74ddacd Bump version, update changelog 2022-05-23 13:30:24 -07:00