Jonathan Daugherty
5546659a0f
Depend on another Vty mouse event bug fix
2016-10-23 19:49:42 -07:00
Jonathan Daugherty
afe2e7eec5
MouseDemo: move clickedExtent into Brick.Main
2016-10-23 19:24:57 -07:00
Jonathan Daugherty
9154522509
Remove mouse event offset adjustment, depend on Vty with relevant fix
2016-10-23 19:19:16 -07:00
Jonathan Daugherty
12659aced0
Merge master
2016-10-23 18:51:47 -07:00
Jonathan Daugherty
09f90e3916
Update gitignore
2016-10-23 18:21:09 -07:00
Jonathan Daugherty
2771af9a89
Add Show instance for Editor, List ( fixes #63 )
2016-10-23 18:20:36 -07:00
Jonathan Daugherty
e0c54b59b7
Merge pull request #88 from kquick/master
...
Make handleEventLensed polymorphic over event type
2016-10-15 10:41:54 -07:00
Kevin Quick
0f8710d369
Make handleEventLensed polymorphic over event type to allow use with custom events.
2016-10-15 10:18:07 -07:00
Jonathan Daugherty
759d5797a9
Bump version, update changelog
2016-10-10 14:56:20 -07:00
Jonathan Daugherty
73e027c8ec
API: add getVtyHandle for accessing the Vty context in EventM
2016-10-10 14:54:59 -07:00
Jonathan Daugherty
ff7cfa698a
Merge pull request #83 from kquick/patch-1
...
Fix lens arguments and charFill argument order in example.
2016-10-09 23:06:44 -07:00
kquick
548d866d95
Fix lens arguments and charFill argument order in example.
2016-10-09 14:03:07 -07:00
Jonathan Daugherty
a2badcbd9f
CacheDemo: add missing Applicative import
2016-09-20 21:31:23 -07:00
Jonathan Daugherty
f5c17fc8df
Bump version
2016-09-20 21:20:54 -07:00
Jonathan Daugherty
86543d43e2
Update CHANGELOG
2016-09-20 21:20:26 -07:00
Jonathan Daugherty
464fec9c1d
Add CacheDemo ( closes #82 )
2016-09-20 21:15:25 -07:00
Jonathan Daugherty
0f26bf0749
API: add setTop, setLeft for setting viewport offsets directly
2016-09-18 10:48:58 -07:00
Jonathan Daugherty
b52c8f7699
On resize event, draw the application again before handling the event
...
This change makes it possible for event handlers to get the latest
viewport states on a resize rather than getting the most recent (but
stale) versions as before, at the cost of a second redraw.
2016-09-18 10:25:40 -07:00
Jonathan Daugherty
4462d1fdde
Merge branch 'master' of github.com:jtdaugherty/brick
2016-09-18 10:21:50 -07:00
Jonathan Daugherty
ef06be53f2
LayerDemo: language tweak
2016-09-18 10:21:43 -07:00
Jonathan Daugherty
018e8068d0
Merge pull request #81 from geekingfrog/feature/add-left-right-keys-dialog
...
Dialog: add support for arrow key navigation
2016-09-18 10:04:02 -07:00
Jonathan Daugherty
7208147689
Bug fix: use most recent rendering state when setting up event handler viewport data
2016-09-18 09:59:49 -07:00
Grégoire Charvet 黑瓜
8cf7c73ec4
Add support for ⬌ in dialog
2016-09-18 17:54:55 +01:00
Jonathan Daugherty
ab792adf6d
Brick.Main: add missing imports on older GHCs
2016-09-17 21:38:27 -07:00
Jonathan Daugherty
0651d3fc3a
Add rendering cache and "cached" constructor (API: note Ord constraints on "n")
2016-09-17 20:59:16 -07:00
Jonathan Daugherty
0151c159d5
Bump version
2016-09-08 20:40:57 -07:00
Jonathan Daugherty
c8899c92aa
Update changelog
2016-09-08 20:40:46 -07:00
Jonathan Daugherty
8c4055496a
Might as well depend on fixed text-zipper
2016-09-08 20:31:11 -07:00
Jonathan Daugherty
05017464d6
Merge pull request #79 from dagit/wip/generic-text-editor
...
guide.rst: update Editor example
2016-09-08 20:30:18 -07:00
Jason Dagit
aeb7bf972a
guide.rst: update Editor example
2016-09-08 14:28:56 -04:00
Jonathan Daugherty
25c99d69b1
Merge pull request #78 from dagit/wip/generic-text-editor
...
Use the generic module from text-zipper
2016-09-08 09:22:17 -07:00
Jason Dagit
3280c0c799
Make changes requested in PR
2016-09-08 12:21:38 -04:00
Jason Dagit
7a0b8739f5
Use the generic module from text-zipper
2016-09-08 11:50:33 -04:00
Jonathan Daugherty
a4c50ba6be
Merge pull request #77 from aisamanra/master
...
Strawman implementation of parametric `Editor` widget
2016-09-07 23:19:04 -07:00
Getty Ritter
a77419752f
Fixed typo in export list
2016-09-07 22:25:18 -07:00
Getty Ritter
4c528987c7
Strawman implementation of parametric Editor widget
...
This isn't a fully backwards-compatible change, but the only thing
that needs to be modified for programs involves adding a type parameter,
which will be either `String` or `Text`.
2016-09-07 21:18:24 -07:00
Jonathan Daugherty
fdbba5db53
List: avoid runtime exception by ensuring item height is always at least 1
2016-08-27 09:50:31 -07:00
Jonathan Daugherty
de871d1d33
Merge pull request #73 from geekingfrog/feature/add-eq-instances
...
Add missing common instances
2016-08-22 11:13:23 -07:00
Grégoire Charvet 黑瓜
ff325d9786
Remove Eq from some types
...
These types should not be compared, either because there is only one of
them in an application (Context) or because there is likely a better
solution (that's the case of AttrMap).
2016-08-22 19:06:56 +01:00
Grégoire Charvet 黑瓜
b3c9f69ed5
Added a bunch of deriving Eq
2016-08-22 14:51:08 +01:00
Jonathan Daugherty
0784e79498
Merge pull request #71 from hpdeifel/control-u
...
Edit: bind Ctrl-U to delete from cursor to beginning of line
2016-08-03 15:07:00 -07:00
Hans-Peter Deifel
e6dc695932
Bind Ctrl-U to delete to BOL edit widget
...
Ctrl-u will now delete all text from the cursor position to the
beginning of the current line. This is a standard readline binding.
2016-08-04 00:02:47 +02:00
Jonathan Daugherty
4cc231fa29
Merge pull request #69 from ismail-s/patch-1
...
haddock: fix minor typo
2016-07-14 10:54:47 -07:00
Ismail
c7394af715
Fix minor typo
2016-07-14 13:13:18 +01:00
Jonathan Daugherty
145ae45d6e
README: show travis status for master only
2016-07-10 08:41:30 -07:00
Jonathan Daugherty
5f35cb1475
Merge pull request #66 from ibrahimsag/patch-1
...
Update guide for Editor widget
2016-07-10 08:26:24 -07:00
ibrahim Sağıroğlu
a33efcda85
minor
2016-07-10 14:03:54 +03:00
ibrahim Sağıroğlu
26fb6c5a74
Update guide for Editor widget
2016-07-10 13:58:44 +03:00
Jonathan Daugherty
f9fc16025b
MouseDemo: describe the different drag event cases
2016-06-30 19:28:27 -07:00
Jonathan Daugherty
95b9084bdd
MouseDemo: remove old layer functionality to focus on how mouse support works
2016-06-30 19:25:16 -07:00
