github.com/lamdu/lamdu commits | Ecosyste.ms: OpenCollective

remove a use of wView

ef63e63681c1e295818e1bf545497030049fa7bd authored over 7 years ago

Rename: MkView/setView => SetLayers/setLayers

268744c7433e0c772d7b381ac1f1b851c278f4df authored over 7 years ago

setView can no longer change the View size

855d9c09f99c47db9e46a8be48121051ca91c509 authored over 7 years ago

View: Add bottom/top layers

53797ce4ece13ff1e9f9035db1d0faaee5aced20 authored over 7 years ago

Add type-view below via boxWithViews

b55e2047f900b6bd0e43e0bd739fb6121e05f12d authored over 7 years ago

ExpressionGui: Use AlignedWidget.boxWithViews

1458ae16b7d7cf8512ef874dfc4d34965b0603d2 authored over 7 years ago

Fix indent cursor bug

a582b3372421773e0635044238609d1b31417746 authored over 7 years ago

Revert "View supports hovers/tooltips based on available surrounding in screen"

This reverts commit 52718dd4eb8f14f5a1f4ef4bdbfaab7fc74f171b.

206ac49c4e1e06185bbfde6d27f7e3fb7348e0fd authored over 7 years ago

Widget: Rearchitect the type towards proper hovers

f41a69dd8944874a628f0a35d3399d0757af0438 authored over 7 years ago

Kill the MEnter type synonym

9fa44782ed9f70537fcb5397f97adeb6a79f38f0 authored over 7 years ago

Mouse clicks go to hovers property via Widget.enterResultLayer

We may change this when we change the hovering mechanism

e5e086b5ede504ba4c461d4adaa7d0715a531396 authored over 7 years ago

Grid: refactor

938e18cb0f53fd4545aa00dc9deda403d3f781c1 authored over 7 years ago

Grid.toWidgetWithKeys simplified

fef3718bfed3dcb4531d2ea30bac59666503f066 authored over 7 years ago

View supports hovers/tooltips based on available surrounding in screen

Not yet used anywhere, need to change Widget accordingly and fix our hovers.

52718dd4eb8f14f5a1f4ef4bdbfaab7fc74f171b authored over 7 years ago

View.addLayersAbove function

adbb7affdad6965d1399de5c5ccbbdcf5bcd1e45 authored over 7 years ago

reuse View.translateLayers

c2fcb873f8e3176d6d6f0f190d516b076c138585 authored over 7 years ago

Remove hacky View.translate

Replaced with translateLayers which is more sensible

1970c4412792333d78d41e82d9e0b5c62a3b866b authored over 7 years ago

split HasSize from HasView and remove HasView

a13209985924140840ac24f288f8d28ea9784c42 authored over 7 years ago

Remove evalView hover hack

a9c4b0dad4a32548897fd4533b9e87b6ef989d56 authored over 7 years ago

Use View.setView where applicable

96a933b72fd28dd3577e12054a5c40eaf1fa6514 authored over 7 years ago

gui-examples/choice.hs

6224c12f025cb3f1313a709841e797c70f8444e5 authored over 7 years ago

TextView: Remove makeWidget

20a1ea4cddbe10f06070a33108c8ee00103feb99 authored over 7 years ago

Virtual cursor. Now moving up and back down comes to the same spot!

3426f38ba25bf6f60aaf53949091471d6681d57c authored over 7 years ago

oops fix alignment mismatch in AlignedWidget.boxWithViews

caused bad alignments since used in ada6e7ec59

7fde1c56fc1453e7c413b8619df0f13af7c3f9f6 authored over 7 years ago

Extract Pad class from MkView class

317411753edbdbc37ae07c31f744c76e1ce0ef7e authored over 7 years ago

Use EventMap.eventMap instead of Widget.eventMap when applicable

719d838fd48b4ae2e510f92a66486f80f7730769 authored over 7 years ago

ExpressionGui avoid lifting paren Views

0e788837aeb9ec20ece91e2ca1ff467972ac779b authored over 7 years ago

HoleEdit: avoid lifting Views

a294646854d0d18612e2a45ba4baaec1c11535d9 authored over 7 years ago

HoleEdit: avoid premature lifts of Widgets

b1a8e61ece2af28d1266af996629e35801d8df81 authored over 7 years ago

RecordEdit & CaseEdit: simplify makeOpenRecord

05fbe70b9e3d37b4116114c7d867dc6f1ae0a4f7 authored over 7 years ago

GetVarEdit: avoid lifting Views

616bc7830bacc3413cbb63b7c168aea23a93733c authored over 7 years ago

LiteralEdit: avoid lifting views

fed1bbe3c8be701a9fbd26bb8db1803d7220c8bf authored over 7 years ago

View.padToSizeAlign

fae13c915fc5a171d4aca5bfe743c15230564c2d authored over 7 years ago

avoid unnecessary lifting for name suffix

9aa24f65b273c75d03c2c8b9a34e6f9bfd41ab2f authored over 7 years ago

use View for annotations

ada6e7ec596941a492555eadcc4d95d32ee6af81 authored over 7 years ago

Box.makePlacements

0bdfb1260bbfe8350efecb29bffcd5827dc1bc69 authored over 7 years ago

AlignedWidget.boxWithViews

2215f08a0983af0dac897d66c217864ca2fe3e88 authored over 7 years ago

View.hoverInPlaceOf

f404acea03180c31386ade83e5b0538ac1691273 authored over 7 years ago

simplify ExpressionGui.addAnnotationH

d02cfb0cf0bca2151195e9258daae9431e983700 authored over 7 years ago

oops fix alignment broken in af140d3d3d

9597726904ca08b61dfa7a5a4e2e24ca0e88bb8e authored over 7 years ago

more general types

ca363ad3e18f7439d8699387b334a5c4c742f30e authored over 7 years ago

oops also remove vboxTopFocalSpaced from previous location

b762a9ddd3e30abb926ea6912d1119647beff293 authored over 7 years ago

vboxSpaced generalized and moved to lib

af140d3d3d4d38f1b35a20f21253d50af34af866 authored over 7 years ago

move HasStdSpacing to lib

e82b7c57018fd17a6aee9b1d78cac6758b6e8b88 authored over 7 years ago

ApplyEdit: Get rid of hacky Sugar.Payload creation

73097a006d21e99b8f900a9da5791d3777cc1e5c authored over 7 years ago

ExpressionEdit.EventMap: ExprInfo

0d73d3c6acb9c0e1ab0dddcdd65e9b69acc1b19f authored over 7 years ago

grammarLabel returns view

5a8607dcdb8b06e860b946b4356d8e19b8909336 authored over 7 years ago

oops remove duplicated function

265aeb46cd84ac9a326c1abca327b2fbdf4c8e5e authored over 7 years ago

addIndent uses GridView so wont depend on virtual cursor

Preperation for adding "virtual cursor" for grid navigation.

6c3c845db958a79b07abbf24f5e15c2fa5280def authored over 7 years ago

remove dead code

57af7b6d64e92bbcebe640180a7f6315f8325e79 authored over 7 years ago

remove hboxCentered and vboxCentered

we've moved to aligning things to the top-left so these are remains.
note that the "..." for ext...

341ca0bce97de217096f76932126e1bba7a2a534 authored over 7 years ago

Move Maybe from OuterScopeInfo.osiPos to right position

b070c9bf1ef8e68ab3c465a5908f139bb468ac32 authored over 7 years ago

remove Redex.argInferPl

Redex.arg already has payloads which can hold the infer payload

f912b43df3f9c285c282f1ccfe94c43e82d65b4e authored over 7 years ago

cleanup

5735450dfc503ef6d821d7dd869299bb461c6f44 authored over 7 years ago

simplify OuterScopeInfo

d62820a87f38c7cd6468b42c94d584b249785796 authored over 7 years ago

Convert.Binder.Redex holds infer payload

dc3f8573c4b07f9e31b2bccde1705cc9d3dbd9d4 authored over 7 years ago

use Lamdu.Prelude

fc16fdffb7ea6aa9fd6a19d385e9fe3ec777237a authored over 7 years ago

NomEdit: Support deletion to remove ToNominal/FromNominal

c96b725a1095c985633bb866e2d372397c8b3365 authored over 7 years ago

color tweaks

88836621b9f952e578fa0c7f3c1faa4b9c72c1ed authored over 7 years ago

avoid creating actions for hole results instead of removeUnwanted

(there are still some keys left in removeUnwanted)

4f2ce40a8cc9af66b59b5db1795d81974a4642d2 authored over 7 years ago

Nom UI revamp

14ada99ecd040be6580ba6c770b8b8a41409ccdc authored over 7 years ago

Add TestConfig.hs tool to validate configurations

3a5224b88260f85bae1c4461d916b4bc1dcf0175 authored over 7 years ago

Add Theme.HasTheme, and use it and Config.HasConfig

b5206fe87f7bf2e1c2fbf3e9155b47efcc435015 authored over 7 years ago

gsr -f themeEventMap///themeSwitchEventMap

f074f26b5c67c9077760edb311aec2ffab91c071 authored over 7 years ago

fix ctrl-del for wrappers - removes wrapper when applicable

c64799536cbd251bf9963dba87c16bfb475b1152 authored over 7 years ago

get rid of egIsFocused

that was an odd hack and it wasn't necessary

ca499b60bd879c3d5b5ef37730fabb0c8f78092e authored over 7 years ago

Simplify HoleEdit

Hopefully alignment isn't messed up from it :)

79dafa0248196d3874c61961c42a7938fab1f9e9 authored over 7 years ago

Mainloop is in charge of keeping cursor state

b072789dab6709d9750dd844114b9f061b0f0081 authored over 7 years ago

use typeclass

308e11e2e9ceb0332fee8129f28c686b66df132b authored over 7 years ago

Bottle.Main: Env type towards mainloop being in charge of cursor

c6eacce3447a34ef0c0e65b7f0aca2cefbc9943f authored over 7 years ago

hlint police

28dd8fd781e866db7b32457cea28abf6316b1e92 authored over 7 years ago

Simplify nom guis.

They are now just always fully displayed (except where being patterned matched),
no hovers, no b...

353c905f6478278861a3e33bf8c97db30471c3d6 authored over 7 years ago

fix alignment of parameter list

visible when reducing window width for function with many parameters

1cca3472532a457d449dfaa14c14d8ed2279307c authored over 7 years ago

Hole result preference for local variables

51ccc40629b2cd2de8ae0fa12f3f140dbbf8cfdb authored over 7 years ago

Remove stale reference to deleted Makefile from cabal

Makefile was deleted in 04fa8ce8c99aaef1eb124586c81f1dd8f82d2c36
and added to cabal in 2013 in 1...

ea0ff9f5d3aaeb54f19b82acc769a913f047d773 authored over 7 years ago

hole results shouldnt have replace-parent deletion events

fixes https://trello.com/c/spptv0rc

9d6c0ba0b927dd7d663342a4541f15b1f772dab2 authored over 7 years ago

oops fix recordedit alignment

53f8d11b57b3f9ead6cb24e4305691c3cc385903 authored over 7 years ago

underline width is relative to font size

87f906cc9c807c1312ee90300d920a991547c503 authored over 7 years ago

oops fix vertical alignment of tonom

0d8e1dd1b56e60ec13d5f0b46e6626e53038e3d5 authored over 7 years ago

fix spacing for relayed args

304c91090909028af1c2cb3af02eceb132252826 authored over 7 years ago

relayed args sugar, a bit similar to Haskell's named record puns.

used for relaying a parameter in function applications unchanged
(the same parameter we recieved...

9501d153b41bea1ffc73d000d52b854907936192 authored over 7 years ago

fix to-nom alignment

to-nom's alignment was broken which could be seen when resizing the window
with stdlib's takeWhi...

a73f3b2aef00cd91b3155cdb62854f3a99fa2ec8 authored over 7 years ago

remove remains of previous delete behavior

6ca15d595b69d39dc44c9a9b337d0ef95d236263 authored over 7 years ago

relax some types

35d4c4cc3de87651c7d1ab676183f7a9a1fb7e65 authored over 7 years ago

GetVarEdit: extract makeGetParam

4a9b74ebd0d3835655a30069ca4a3eceb4c011f2 authored over 7 years ago

use lens style

2fbc63f7ca2ac5cf90f727ddef81502c3b6301e6 authored over 7 years ago

Cleanup in Names.Walk

261b05df1dc33f16e2696ca51a74354cda886bfc authored over 7 years ago

Names.Walk.TypeSignature

rather than parameterization of Sugar.LabeledApply which made things messy.

Using name "normal ...

92c6b1354cac6d3547513447647772c6388155bd authored over 7 years ago

some dead code removal with weeder

not all dead code removed because a lot of dead code is for lens which might be put in use,
and ...

40f313d54333278ce4b47010ca70242bcc55bb88 authored over 7 years ago

more lightweight case analysis of nominal type values

the from-nom is not shown anymore, making case analysis on par with other languages without the ...

0577868941740193c2104109d2f06b9fd5b2e302 authored over 7 years ago

Revert "UI experiment: Inject uses symbol to disambiguate with application"

This didnt contribute much and made things look unnecessary more verbose than textual language c...

9832962659baa862b60bf26616814d3c53213b70 authored over 7 years ago

can wrap binder content with let items

didn't implement applying operators on these but perhaps that's not a desired feature anyhow

2aa7ed0def183bac527b91c3b37f4a1f024354a4 authored over 7 years ago

mtl style

9c0b8840163ad988c8b8a9d7f7bd533f4a4d1eb2 authored over 7 years ago

HasConfig class

ca7243b62a660fecf70aa66e030a1ceee7329eb9 authored over 7 years ago

lens style

d43d9b58836c1459dd1a3129b81f08e50e4f898a authored over 7 years ago

remove ExpressionGui stdHSpace and stdVSpace

and avoid unnecessary lifts

075d21ba942d3a30e9d3b22762f60c1e055761aa authored over 7 years ago

TreeLayout vbox moved from ExpressionGui

aa08c34214f20483e95b58a41ff2944d9b4edbec authored over 7 years ago

avoid premature lifting and unnecessary conversions

91e75b63f57f9409215d53795026396efa5e0d46 authored over 7 years ago

relax type constraint

2db13bfc6587fcbc1e3d063efb4c7da545210090 authored over 7 years ago

AlignedWidget.fromView

8383c52e440691442ea6950d3abd58713f8d3118 authored over 7 years ago