about summary refs log tree commit diff stats
path: root/edit.mu
Commit message (Collapse)AuthorAgeFilesLines
...
* 1926Kartik K. Agaram2015-08-031-1/+1
| | | | | | | http://250bpm.com/blog:57 Funnily, the new idea I finally came up with in 'read' was already mirrored above in recipe 'write'.
* 1924 - handle delete key in editorKartik K. Agaram2015-08-031-0/+36
|
* 1922Kartik K. Agaram2015-08-021-2/+51
|
* 1921 - show trace by clicking on codeKartik K. Agaram2015-08-021-3/+150
| | | | | | | Region to click on to edit is now reduced to just the menu bar for the sandbox (excluding the 'x' for deleting the sandbox). The symmetry there might be useful, but we'll see if the relative click area is in line with how commonly the actions are performed.
* 1918Kartik K. Agaram2015-08-021-72/+72
|
* 1917Kartik K. Agaram2015-08-021-8/+4
|
* 1916 - self-contained layer for rendering colorsKartik K. Agaram2015-08-021-4/+11
|
* 1915 - restore expected response from diskKartik K. Agaram2015-08-011-2/+13
|
* 1914 - save right after 'pinning' expected responseKartik K. Agaram2015-08-011-17/+25
|
* 1913 - save expected response for each sandboxKartik K. Agaram2015-08-011-3/+11
|
* 1912 - 'fix' sandbox results, flag future changesKartik K. Agaram2015-07-311-0/+165
| | | | Woot!
* 1911Kartik K. Agaram2015-07-311-13/+6
| | | | Give up on minimizing #characters printed to screen.
* 1909 - clean up all null pointers of that ilkKartik K. Agaram2015-07-311-9/+0
|
* 1908 - another null-pointer warningKartik K. Agaram2015-07-311-3/+15
|
* 1907Kartik K. Agaram2015-07-311-12/+12
|
* 1906Kartik K. Agaram2015-07-311-8/+4
|
* 1905Kartik K. Agaram2015-07-301-38/+38
|
* 1904 - click on sandbox to edit itKartik K. Agaram2015-07-301-13/+128
|
* 1899Kartik K. Agaram2015-07-301-1/+1
|
* 1898Kartik K. Agaram2015-07-301-58/+61
|
* 1897Kartik K. Agaram2015-07-301-13/+20
|
* 1896Kartik K. Agaram2015-07-301-288/+292
|
* 1895 - starting to impose some architecture on edit.muKartik K. Agaram2015-07-301-11/+16
|
* 1892Kartik K. Agaram2015-07-291-39/+22
|
* 1891Kartik K. Agaram2015-07-291-13/+13
|
* 1890 - bugfix in backspace handlingKartik K. Agaram2015-07-291-9/+37
|
* 1889Kartik K. Agaram2015-07-291-10/+10
|
* 1888 - silence error when no sandboxesKartik K. Agaram2015-07-291-1/+1
|
* 1884Kartik K. Agaram2015-07-291-28/+3
|
* 1883 - type-deducing in more .mu filesKartik K. Agaram2015-07-291-1/+1
|
* 1881Kartik K. Agaram2015-07-291-3/+3
|
* 1880 - switch .mu files to new type-deducing idiomKartik K. Agaram2015-07-291-791/+789
|
* 1869 - rename the /deref property to /lookupKartik K. Agaram2015-07-281-326/+326
| | | | Should be a little bit more mnemonic.
* 1868 - start using naked literals everywhereKartik K. Agaram2015-07-281-414/+414
| | | | First step to reducing typing burden. Next step: inferring types.
* 1866Kartik K. Agaram2015-07-281-3/+3
|
* 1865 - emergency hotkey; mouse sometimes doesn't workKartik K. Agaram2015-07-281-0/+13
|
* 1863 - two bugfixes in deleting sandboxesKartik K. Agaram2015-07-281-0/+8
| | | | | Forgot to show screen after delete, and 'release' events were causing double deletions.
* 1861 - bugfix: saving sandboxesKartik K. Agaram2015-07-271-0/+2
| | | | Still no tests for save/restore. Gigantic hacks.
* 1858 - switch from F10 to F4Kartik K. Agaram2015-07-271-37/+37
| | | | F10 seems to be a popular keybinding in the window manager.
* 1857 - editor supports autoindentKartik K. Agaram2015-07-271-4/+80
|
* 1856Kartik K. Agaram2015-07-261-2/+3
|
* 1855Kartik K. Agaram2015-07-261-5/+5
|
* 1854 - 'tab' key supportKartik K. Agaram2015-07-261-4/+33
|
* 1843Kartik K. Agaram2015-07-241-0/+4
|
* 1839 - clear entire screen on F10Kartik K. Agaram2015-07-241-2/+14
| | | | | Just in case we had many lines of warnings before that are now cleared up. Again, I'm feeling confident enough to not write a test.
* 1838Kartik K. Agaram2015-07-241-17/+19
|
* 1832Kartik K. Agaram2015-07-241-0/+32
|
* 1831Kartik K. Agaram2015-07-241-0/+28
|
* 1830Kartik K. Agaram2015-07-231-5/+5
|
* 1829Kartik K. Agaram2015-07-231-0/+29
|
generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-08-01 17:51:49 +0000