44 Commits

Author	SHA1	Message	Date
Robbie Gleichman	a6a9fb988c	Create label text with keyboard.	2020-12-25 01:39:37 -08:00
Robbie Gleichman	4658494972	Scale based on mouse position.	2020-12-18 21:01:46 -08:00
Robbie Gleichman	2c23a5be12	Extract out GTK/GDK code into GtkGui.hs. Put everything else in GuiInternals.hs.	2020-12-18 15:49:09 -08:00
Robbie Gleichman	0eacdab3bd	Draw edges between ports.	2020-12-12 01:21:34 -08:00
Robbie Gleichman	683c3f23e2	Connect nodes with edges.	2020-12-09 23:53:59 -08:00
Robbie Gleichman	c124aa27ef	Press space to pan.	2020-12-06 02:06:35 -08:00
Robbie Gleichman	739c1dfaf7	Fix zooming. Fixes #13.	2020-11-27 20:58:15 -08:00
Robbie Gleichman	e7c3c2ff4c	Hook up scroll wheel zoom.	2020-11-27 19:39:53 -08:00
Robbie Gleichman	f13a9d1e99	Emacs style undo. Fixes #12.	2020-10-05 02:01:59 -07:00
Robbie Gleichman	4bfbb4736a	Remove refactor GUI todo.	2020-09-19 20:16:33 -07:00
Robbie Gleichman	8eaf861016	Update todo.	2020-09-19 20:08:11 -07:00
Robbie Gleichman	276d445f97	Update todo.md.	2020-09-04 22:04:37 -07:00
Robbie Gleichman	37340ed4fe	Add GUI skeleton based on gi-gtk-declarative.	2020-08-09 15:49:26 -07:00
Robbie Gleichman	2460a3f472	Embed lambdas as arguments. Make apply and lambda argumenet/parameter boxes transparent to make line crossings look better.	2019-08-06 02:33:01 -07:00
Robbie Gleichman	ae81f02448	Update todo	2019-07-19 00:39:47 -07:00
Robbie Gleichman	794117abd0	Update todo.	2019-06-29 16:13:17 -07:00
Robbie Gleichman	11fbdfebd8	Embed literal lambda bodies.	2019-05-10 23:10:57 -07:00
Robbie Gleichman	2ddb5c8a09	Make constants for input and result port numbers.	2019-03-28 23:50:07 -07:00
Robbie Gleichman	04ddca3c1b	Update todo	2019-03-25 01:12:43 -07:00
Robbie Gleichman	2d74cb2fd1	Embed lambda nodes in apply parents.	2019-03-12 22:43:58 -07:00
Robbie Gleichman	96aaaa2319	Update todo.md.	2019-02-25 01:49:42 -08:00
Robbie Gleichman	21e0091743	Refactor GraphAlgorithms.hs.	2019-02-19 03:21:13 -08:00
Robbie Gleichman	b21ff534e8	Give lines a shadow effect.	2019-01-19 11:41:54 -08:00
Robbie Gleichman	9d9862539d	Draw bounding boxes for lambdas.	2018-11-11 03:17:06 -08:00
Robbie Gleichman	4ab6c09cf4	Remove unused extension for Types.hs. Update todo.	2017-02-21 20:10:00 -08:00
Robbie Gleichman	c405cc6a71	Update todo	2017-01-06 23:22:22 -08:00
Robbie Gleichman	610ad9a4eb	Add advantages.hs which shows some of the advantages of a visual syntax over text.	2017-01-06 17:29:27 -08:00
Robbie Gleichman	f864cc34fc	Add thanks section to README.	2017-01-06 16:53:46 -08:00
Robbie Gleichman	96c10d9e4e	Update Stackage to lts-7.14	2017-01-05 02:23:02 -08:00
Robbie Gleichman	71f6d55df3	Use customRenderSVG in Main.hs. Change font to monospace. Use optparse-applicative for Main.	2017-01-04 01:22:08 -08:00
Robbie Gleichman	69589f7d24	Make a custom version of renderSVG that includes the xml:space=preserve attribute. This preveres whitespace in svg text.	2017-01-03 18:43:33 -08:00
Robbie Gleichman	7468166f14	Update todo.	2017-01-02 00:41:26 -08:00
Robbie Gleichman	9702cabc29	Add parameter names to lambda icon.	2017-01-01 17:43:00 -08:00
Robbie Gleichman	3ed4c846bb	Remove hardcoded port numbers from Translate.hs.	2016-12-29 00:15:17 -08:00
Robbie Gleichman	6c5663dccf	Revise tutorial.	2016-12-28 19:05:43 -08:00
Robbie Gleichman	771f9a7cc3	For SyntaxGraph, rename sgSources to sgBinds, and use a data type (SgBind) instead of a tuple.	2016-12-26 16:37:10 -08:00
Robbie Gleichman	1fb31aaf81	Rearrange Translate.hs.	2016-12-26 01:25:14 -08:00
Robbie Gleichman	5754fa6560	Update todo.	2016-12-26 00:12:55 -08:00
Robbie Gleichman	c426ff422a	Fix @ (as patterns).	2016-12-25 21:45:58 -08:00
Robbie Gleichman	e876c6c401	Don't allow guards to embed PApps.	2016-12-25 17:24:26 -08:00
Robbie Gleichman	d7eb3749d9	Make the args of pattern apply nodes vertical to make embedding cases nicer.	2016-12-25 17:08:11 -08:00
Robbie Gleichman	79c15e2e86	Reflect the angles of the inner icons for nestedGuardPortAngles.	2016-12-24 16:05:15 -08:00
Robbie Gleichman	4ca53c58c4	Allow case icon to embed apply and pattern apply icons.	2016-12-24 14:46:53 -08:00
Robbie Gleichman	961879049a	Rename todo.txt as todo.md.	2016-12-22 19:07:30 -08:00