about summary refs log tree commit diff stats
path: root/edit/007-sandbox-delete.mu
Commit message (Expand)AuthorAgeFilesLines
* 3429 - standardize Mu scenariosKartik K. Agaram2016-09-281-30/+25
* 3396Kartik K. Agaram2016-09-171-29/+29
* 3391 - type abbreviations everywhereKartik K. Agaram2016-09-171-39/+39
* 3337 - first use of type abbreviations: textKartik K. Agaram2016-09-121-15/+15
* 3052 - make edit/ render functions higher-orderKartik K. Agaram2016-06-121-5/+5
* 2983 - migrate buttons over to sandbox/Kartik K. Agaram2016-05-191-3/+3
* 2981 - sandbox buttons implemented in edit/Kartik K. Agaram2016-05-191-44/+53
* 2978 - support new 'edit' button in edit/Kartik K. Agaram2016-05-191-2/+2
* 2977 - draw new sandbox menu in edit/Kartik K. Agaram2016-05-191-71/+71
* 2953 - use pgup/pgdn to scroll through sandboxesKartik K. Agaram2016-05-111-6/+6
* 2864 - replace all address:shared with just addressKartik K. Agaram2016-04-241-38/+38
* 2861 - 'maybe-convert' no longer returns addressKartik K. Agaram2016-04-231-1/+1
* 2853 - purge get-address from edit/ appKartik K. Agaram2016-04-221-16/+37
* 2735 - define recipes using 'def'Kartik K. Agaram2016-03-081-4/+4
* 2608 - fix-up tests in sandbox/ appKartik K. Agaram2016-01-271-12/+4
* 2594 - bugfixes: managing state when deletingKartik K. Agaram2016-01-231-2/+211
* 2590 - support scrolling through sandboxesKartik K. Agaram2016-01-221-1/+1
* 2585 - label sandboxes with a numberKartik K. Agaram2016-01-221-3/+3
* 2576 - distinguish allocated addresses from othersKartik K. Agaram2016-01-191-10/+10
* rest of edit/ fixedKartik K. Agaram2015-12-151-1/+1
* 2374 - now edit works until layer 8Kartik K. Agaram2015-11-051-4/+2
* 2309Kartik K. Agaram2015-10-281-4/+4
* 2260 - start tracing by depth rather than labelKartik K. Agaram2015-10-061-1/+1
* 2183 - environment + external editor using tmuxKartik K. Agaram2015-09-121-3/+1
* 2156 - split edit.mu into multiple filesKartik K. Agaram2015-09-051-0/+111
generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-12-02 05:00:49 +0000