Lamdu commits | Ecosyste.ms: OpenCollective

Block action events on search term

github.com/lamdu/lamdu - ca3a44688162a796596beb806685e7d5813d9de0 authored about 7 years ago

SearchMenu blocks events on search term

github.com/lamdu/lamdu - 0685e047d59e37b608f4c2e3a231605c29bc7fd1 authored about 7 years ago

Add BlockEvents to PreEvents

github.com/lamdu/lamdu - fd0a0f2ce3eebc722cd2a13f87fb820e63cd298a authored about 7 years ago

Widget: DRY addEventsWithContext/addEvents

github.com/lamdu/lamdu - de20a85b9c91b6713f652ec8386b76568d589604 authored about 7 years ago

HoleEdit: pre event on search term

Note that typing operator when alrady typed something else,
doesn't work nice but didn't before ...

github.com/lamdu/lamdu - 45c4bdb9a467ff0a609ed6cfaa3a38c1e6bf0b86 authored about 7 years ago

Towards HoleEdit search term adding pre-event

github.com/lamdu/lamdu - f1e1f1387cbea0a13561955708b9a14af059974c authored about 7 years ago

Inline SearchTerm module

github.com/lamdu/lamdu - 05f30752780989e165cc8fde3e82870e051b8e53 authored about 7 years ago

Fix annotations not being displayed right in some situations

When typing "«LocalMut ?{newMutArray}" the wrapper type annotation didn't show
since commit 7ea0...

github.com/lamdu/lamdu - f939597f39dd1eee957b8569f39af6380a38dfe6 authored about 7 years ago

Sugar.Lens.bodyHoleOrWrapper + fix some rules that need to apply to both

Since separating holes from wrappers some logics
(like light lambda sugaring) weren't functionin...

github.com/lamdu/lamdu - 7f86bb3b2aac228b38b73e53e8272e3f427db07d authored about 7 years ago

Add comment

github.com/lamdu/lamdu - eba210378b8bd48d635ae30a22f3730a8a32aab7 authored about 7 years ago

Fix typo in comment

github.com/lamdu/lamdu - 7067846052e9d00b8b8dff15377776d81952385e authored about 7 years ago

Oops prev commit ruined operators on red holes

Typing filter (1..1000) didn't work properly.
Instead of removing events from the wrapped expres...

github.com/lamdu/lamdu - e73d754b829748f286f274daf23fa2e98d4a9186 authored about 7 years ago

WrapperEdit exposes wrapped expression's actions.

Fixes https://trello.com/c/DFXDCY7A/315-when-generating-a-type-err-red-record-comma-does-not-work

github.com/lamdu/lamdu - 76e48730265d36713fa90d1c000c279b8fa90ee8 authored about 7 years ago

Add field to record works when whole record selected.

This is similar to case expressions.
To add field in an outer record, one can navigate to the fi...

github.com/lamdu/lamdu - 7c49d71c3289ba658b74f8d07ef5a38ca5cbdd2b authored about 7 years ago

Tag-hole uses Menu.Search, behaves like hole.

Choosing existing tag is preferred now and properly supports pre events etc.

github.com/lamdu/lamdu - 2f6f381008ae136cfc90db7a0b2a07beed6a4ad4 authored about 7 years ago

color functionality moved out of makeTagEdit

github.com/lamdu/lamdu - 954d9c79e58e31efc6d2cc7185046366870335da authored about 7 years ago

Pane event map doesn't trigger pre-events.

"Go back", reordering panes, exporting to json etc shouldn't trigger pre-events

github.com/lamdu/lamdu - 82eea7f3badb14ca8ea707e0b90db35c891be898 authored about 7 years ago

searchTermEditEventMap moved to Menu.Search

github.com/lamdu/lamdu - 57e0e0e2699f4a967c61b8341001f653c520d3e9 authored about 7 years ago

add comments

github.com/lamdu/lamdu - d10802ab7b6e88a51b466563bba161d83d318a3d authored about 7 years ago

ResultWidget.make doesn't get Sugar.Payload

github.com/lamdu/lamdu - e57284a1b82f916dd79de5d26cf82875cbd354be authored about 7 years ago

use ResultsContext rather than readSearchTerm

github.com/lamdu/lamdu - 3d6123f5e2e64dce312100dfc291c6fbe0b956c5 authored about 7 years ago

Menu.Search.make

github.com/lamdu/lamdu - d29486c8578769d6b8e525401134f9082280febe authored about 7 years ago

HoleEdit: ad-hoc search term event map added with weaker-events

github.com/lamdu/lamdu - 85936aad73de247107f2cad544b3f8fdab56baa4 authored about 7 years ago

remove hjkl navigation keys

added in c39184a5b6147 back in 2012.
but we would probably prefer for simple char keys to open n...

github.com/lamdu/lamdu - 07b13cd5f58d813928958b7f6f4325e59c1ac481 authored about 7 years ago

RTS.JS: Fix writeFile/appendFile to not serialize input bytes as comma separated list, but treat as buffer

github.com/lamdu/lamdu - e3b2f849ae0bf017be8413b844a8151796dbc8cf authored about 7 years ago

delete HoleEdit.State, use SearchMenu methods instead

github.com/lamdu/lamdu - 33b35e045c43b632d6836cf3c62392f80a98c857 authored about 7 years ago

Extract ResultWidget.makeWidget

github.com/lamdu/lamdu - b2300315fc17a66229222fdb5780f6f9118fadc8 authored about 7 years ago

minor cleanups towards extraction to search-menu

github.com/lamdu/lamdu - 9574c5070715e26ac6b5e792bbe946bdc1a364a3 authored about 7 years ago

remove unused context

github.com/lamdu/lamdu - 4c6b679048d0aad2f57bef5ca859cfe670af7c6e authored about 7 years ago

cleanups

EventMap.ExprInfo doesn't need EntityId and more

github.com/lamdu/lamdu - 649f799a0284da39ac51e8556e214f387d46178e authored about 7 years ago

cleanup jumpHolesEventMap

this essentially reverts the change from fe70549e307d2f68c24db33246106e5c3ed56f11
which made the...

github.com/lamdu/lamdu - 3a2116c6be5b26652c94cccea37bee7833e13e03 authored about 7 years ago

better delete behavior on holes

before 6ca15d595b69d39dc44c9a9b337d0ef95d236263 it went to outer expression,
at that commit this...

github.com/lamdu/lamdu - 5e693e34d2d47947b0690bb3626a92f8293aacf3 authored about 7 years ago

oops space went to next hole outside of hole result

now correctly goes to inner hole.
bug since f780aaa386

github.com/lamdu/lamdu - bd8aa5ba0802a5be8249bd488054c9b3b8893d92 authored about 7 years ago

oops FocusDelegator use weaker events

shift-left went all the way up since prev commit

github.com/lamdu/lamdu - 7743f69d8ae3a3b49590d1d59c2fbf6622fe63e4 authored about 7 years ago

FocusDelegator shouldn't apply pre-events.

Closing hole with "esc" doesn't pick currently selected result

github.com/lamdu/lamdu - d74c39afa2914fa59355f36f35d4cd57108e636e authored about 7 years ago

oops fix presentation mode in wrapper results

bug since c257522dba21

github.com/lamdu/lamdu - b217d2c56ed20ce9c0df6fe4ff67da62c0b00908 authored about 7 years ago

move hole result padding to HoleEdit.ResultWidget

github.com/lamdu/lamdu - b92f4276c34ec526917b15298f263deca2a96b15 authored about 7 years ago

minor cleanup

hole now doesn't have much else than search-area, so simplified widget ids

github.com/lamdu/lamdu - f5bcb830270d1082c3119b80ef716228d5387d99 authored about 7 years ago

Menu.Search.assignCursor moved from HoleEdit

github.com/lamdu/lamdu - a5a66ff3a128c84b72cd33519d021958546766da authored about 7 years ago

remove unneeded context

github.com/lamdu/lamdu - 2782bbaaec4de3e128374b7350a8dfa7c5552344 authored about 7 years ago

Menu.Search.basicSearchTermEdit

HoleEdit now less than 900 lines :)

github.com/lamdu/lamdu - ac73c85c34810c81371330a4a82ae3f3d2e4ac9e authored about 7 years ago

Menu.Search.searchTermEditId

Will be unexported after moving the appropriate code from HoleEdit.Open and HoleEdit.SearchTerm

github.com/lamdu/lamdu - 8436dbaab0b2ce43a2fdcf067e36592764f5a35b authored about 7 years ago

Menu.Search.ResultsContext

github.com/lamdu/lamdu - 6517c844c323663efadf0688f5d0b6f57f2d20be authored about 7 years ago

cleanups

github.com/lamdu/lamdu - abfd74beb546e44f3b747738d65c248fe1383f68 authored about 7 years ago

Menu.Search.resultsIdPrefix

github.com/lamdu/lamdu - e65da4c466e1d5c6de5b9e6b5e9f2baa138189df authored about 7 years ago

fix comment

comment explains change in 3ee3f5afb8aa3

github.com/lamdu/lamdu - bf7b9f4c62effe62864363e8bdef6c0f931eec13 authored about 7 years ago

generalize type

github.com/lamdu/lamdu - 7d80387f9cecaeb947f19271f7c08b12d69e1ef3 authored about 7 years ago

extract emptyPickEventMap to SearchMenu

part of gradual extraction..

github.com/lamdu/lamdu - 493f9fab6707005cc743d585b1e8c5704b54e5ea authored about 7 years ago

get rid of hole pick keys config

use Menu's config instead.
used in a few places out of Menu, which will hopefully all be
replace...

github.com/lamdu/lamdu - 5acbbe7aed97c379dcc268a478894d1004e5772d authored about 7 years ago

Menu adds the pre-event and pick-event-maps to results.

It also returns the first result's pick action.
This functionality was extracted from HoleEdit

github.com/lamdu/lamdu - f780aaa3868d03af7352a9c9f76d949f12a9ea22 authored about 7 years ago

Menu: Add unused Keys record

Towards next commit..

github.com/lamdu/lamdu - e40f62c3a2aa3aed6718cb87f405a3086a13ac56 authored about 7 years ago

Menu: Config wraps Style

github.com/lamdu/lamdu - 7da6035d6e46d95b1ee61021cb749888e25246d8 authored about 7 years ago

Add Menu.RenderedOption: Towards pick action in every menu option

github.com/lamdu/lamdu - ed75dd7dced9c8173ef23eebe5ab3464a66193f7 authored about 7 years ago

TagEdit: Fix widget creation to be inside Menu option action

(Creates the tag hole option inside the right cursor assigment)

github.com/lamdu/lamdu - 454213650be6ed6e0e52e1b523c1d6f5778850cd authored about 7 years ago

Menu: Option/Submenu parameterized on events functor instead of 'a'

github.com/lamdu/lamdu - 1da67ad76c743b5706319bd641945f40004ea56a authored about 7 years ago

Menu: Use conventional 'm' instead of 'f'

github.com/lamdu/lamdu - 1c96119fd25698eabdd1a1526f2897940c0c745d authored about 7 years ago

TextView: Rename confusing 'animId' to 'widgetId'

github.com/lamdu/lamdu - b7b089ae7763041ea4910ff8b7fac96f36e67c9c authored about 7 years ago

untested support for recursive submenus

github.com/lamdu/lamdu - ea46e3ab6ba01ee6e45ae134d9e9ea896f41510d authored about 7 years ago

fix hole cursor bug introduced in 649f2fa6

github.com/lamdu/lamdu - 9f4e007b93932f7710ba092d9dc346d5e870b9c6 authored about 7 years ago

HoleEdit.Open: Gets type annotation

github.com/lamdu/lamdu - 373167f59d5a8bc3379fcad459b7ecad8559d21c authored about 7 years ago

makeInferredTypeAnnotation: Remove redundant parameter

github.com/lamdu/lamdu - f6966060c1a9becb135b67090774fb9cdf90856f authored about 7 years ago

makeOpenSearchAreaGui does less

github.com/lamdu/lamdu - 649f2fa6611b0716eddb19f3283c31fb2c4760c7 authored about 7 years ago

Widgets.Menu: Document the Option record

github.com/lamdu/lamdu - 7525ca09ea86fc6cfbee36f76d876aaa0a8d6b94 authored about 7 years ago

Menu.Option.oWidget is an action to generate the widget.

This is towards search-menu applying assign-cursor before creating the menu.

github.com/lamdu/lamdu - 1c2aaf20e76a7c55fdfbe13569f5ef3252c60160 authored about 7 years ago

Option.oId is prefix of all option widgets

github.com/lamdu/lamdu - d63c4ea62aae3e90c6054105205550797b702942 authored about 7 years ago

makeOpenSearchAreaGui gets OptionList rather than parameters to make it

github.com/lamdu/lamdu - cedbe6ddc82b2b03ad143e548ee2c8322588da3c authored about 7 years ago

Menu.OptionList instead of tuples with HasMoreResults

github.com/lamdu/lamdu - 13c060d722f7149b8dbeeb7969389949ce29dad4 authored about 7 years ago

Rename: ResultsList=>ResultGroup

github.com/lamdu/lamdu - 18dcca60f586d505e678f4a0694a92827c5087eb authored about 7 years ago

Rename: ResultGroup=>ResultOption

github.com/lamdu/lamdu - 1e9af24f6fbe27b2cc79d0ea9fa938664dbeb7a6 authored about 7 years ago

Fix replace parent of exprs in red-holes

github.com/lamdu/lamdu - cf4d2b30c95e01820fd3f2083d58d53cff77fe0e authored about 7 years ago

rename module Convert.Hole.Wrapper => Convert.Wrapper

it's no longer a hole..

github.com/lamdu/lamdu - 07fb02777ea899343174bfcdb54f9f814e7f1a57 authored about 7 years ago

Remove redundant brackets

github.com/lamdu/lamdu - 0368e42176e8551aa7bc3b88615d476c5f1e867c authored about 7 years ago

extra hole results id have prefix of result id

simplifies makeOpenSearchAreaGui a bit

github.com/lamdu/lamdu - 57e06a90f6c86c4a168ab8ffa44a477119e3e6ed authored about 7 years ago

minor cleanup

github.com/lamdu/lamdu - 7b237998351d2619d63aaf480158c3fbc14e343c authored about 7 years ago

move emptyPickEventMap to its user module

github.com/lamdu/lamdu - 4093ad5a51fcb8ca5d3be50c943c303847e30e0b authored about 7 years ago

generalize types

github.com/lamdu/lamdu - d06b0585f2989e807a94a89b86c0d6e2370c6a26 authored about 7 years ago

move allowedSearchTermCommon to more appropriate module. remove HoleEdit.EventMap

github.com/lamdu/lamdu - f8857f14f0782fc77c2f25d1db6f93369ca83acf authored about 7 years ago

move searchTermEditEventMap modules over to its single user

github.com/lamdu/lamdu - cd32295ba359f09bcf96d37fe1d303974ec41771 authored about 7 years ago

CaseEdit: use stdWrapParentExpr

Previously needed to stop using it at dd468c8c181e but now not necessary

github.com/lamdu/lamdu - 6c025fbe59a547ded0b18d18e57bd6f8ac2f1d37 authored about 7 years ago

stdWrapParentExpr: more precise type

github.com/lamdu/lamdu - 19cbc0f9ba05891e37cf283f8616f9d662db2ba6 authored about 7 years ago

ApplyEdit: cleanup

github.com/lamdu/lamdu - d359a957c692f966a5e018d26ce6f1e928867cc1 authored about 7 years ago

stdWrap: more accurate type

github.com/lamdu/lamdu - 2ff786ef7e8aaf53beacf91770e2751db6d0923a authored about 7 years ago

cleanup: get rid of ExpressionGui.Wrap.addActions

Generalize ExpressionEdit.EventMap.add instead

github.com/lamdu/lamdu - a625a965efd8b3637638533adf2cda831f0b4aef authored about 7 years ago

Oops, fix WrapperEdit bug.

Bug is since big rename yesterday, evident when trying to type euler1

github.com/lamdu/lamdu - 43dd9790c6f92b38a04db4df26de28cda2b6fa0c authored about 7 years ago

rename and fix holePayloads

github.com/lamdu/lamdu - 06e9ed9a0c5d912f17adc7daff09c5ff001ced11 authored about 7 years ago

rename and fix Sugar.Lens.holeArgs

github.com/lamdu/lamdu - 603b6cb0c2af4b53fc1b702970450b728e7346f0 authored about 7 years ago

Big rename. "Wrapper-Holes" no longer considered as "Holes".

Current working name for them is "Wrapper"s.
It seems like a better terminology that will differ...

github.com/lamdu/lamdu - c257522dba21a6e4f38e2c48c607dd38a464c66a authored about 7 years ago

generalize types

github.com/lamdu/lamdu - ae17148baffb4af0dda17c7d6d1416fdbeb351ad authored about 7 years ago

cleanups

github.com/lamdu/lamdu - 76aa081f61156c6dc060d07a8ed63d74869c242d authored about 7 years ago

extract HoleEdit.LiteralText module

github.com/lamdu/lamdu - 4a6af1e70ff89ff7cf09ef0acfe32882a0717e59 authored about 7 years ago

Text literals behavior more consistent with other behaviors.

When search string is empty and going to a result, pressing quotes will
pick it and create a lit...

github.com/lamdu/lamdu - 0f5dc3c04c0ec14ed44fb4d205522d1ff19bbb6c authored about 7 years ago

Remove unused text literal hole results.

(Text literals are created with a separate event for a while now)

github.com/lamdu/lamdu - cb024101bf6b4186886c8a39adc85f38ae49a53d authored about 7 years ago

oops fix creation of text literals

broken since 1ecdf26101e2

github.com/lamdu/lamdu - 03dd57c2b3dc5629e5605c41d49810e1a7f73a8d authored about 7 years ago

hlint police

github.com/lamdu/lamdu - ba2377081c816c3e4420e3b450caef8ef4e00bb0 authored about 7 years ago

Cleanup. Remove redundant event-map

Unwrap event map now added to entire hole,
replace parent already worked on arg, etc

github.com/lamdu/lamdu - 8c060bb0235740162610ec490936d7aeed107882 authored about 7 years ago

del on closed green hole unwraps - take 2

github.com/lamdu/lamdu - 1710f023581da0e87f6ed00fb256509016c9fbd7 authored about 7 years ago

Revert "del on closed green hole unwraps"

Reverting towards committing a cleaner fix

This reverts commit 1c960b5465a08c6b8b78b4f12fac4693...

github.com/lamdu/lamdu - 0a3682ebe62a8c0dc7bbe7278c0bfa333acfc781 authored about 7 years ago

rename nameLiteral{=>Text}EventMap

github.com/lamdu/lamdu - cb9f2222745589794664ffaed0e62612a9af541e authored about 7 years ago

inline disallowCharsFromSearchTerm

github.com/lamdu/lamdu - e9588b50f9bd4bb0c313b06dd88459da93cc5eab authored about 7 years ago

oops fix new pre-event mechanism's text remainder

typing 1+2..10 was broken since bba9ee8794

github.com/lamdu/lamdu - 0081912c4945d57a08ba2ccaaaaa1c3897158a42 authored about 7 years ago