Commit Graph

8 Commits

Author SHA1 Message Date
Jeremie Dimino 9e1ca8d41f remove unused gtk resources
Ignore-this: 2d162e76c95d6e7767dd94a7bbf1e837

darcs-hash:20120226182802-c41ad-43f5d83ab74709db2cb11f72da6a2beede2deadf
2012-02-26 19:28:02 +01:00
Jeremie Dimino 4a43491f55 next gen utop
Ignore-this: c0e7aa3db012df3af520003d99403929

- reimplement the toplevel loop without using the standard one
- handle ocaml parsing/typing/compilation error messages to correctly
  highlight error locations in the console and in emacs
- detect incomplete input and don't try to evaluate it
- automatically run with Lwt_main.run values with type _ Lwt.t
- colorize values

darcs-hash:20120211092107-c41ad-de115ed1ec0806b4261a3182f58fb2498e040d9d
2012-02-11 10:21:07 +01:00
Jeremie Dimino 2351c45995 start of the GTK ui
Ignore-this: b51ff928e96baaa006c6ffc612196645

darcs-hash:20110920154735-c41ad-1bc3b29f91f26b1436235470bf4de5ef64de6146
2011-09-20 17:47:35 +02:00
Jeremie Dimino 5eff3286aa add colors for modules and directives
Ignore-this: 318635e4f07f427549dbe99980e4c46f

darcs-hash:20110803083828-c41ad-f2e8bf6cdfb2991b965725e356dac9bc64a906fc
2011-08-03 10:38:28 +02:00
Jeremie Dimino ee02c487ee better colors for the light profile
Ignore-this: ae5c35339f4c84a2034a01afe55476ad

darcs-hash:20110803075212-c41ad-61875ba17a4f3ed69962090919ec13d296b32db3
2011-08-03 09:52:12 +02:00
Jeremie Dimino c6827f1ba3 add support for light colors terminals
Ignore-this: fb8794243e001dbb59379ac829be0b15

darcs-hash:20110801221835-c41ad-32e00f215b7167d23efc7a3d3e3aa972f0062785
2011-08-02 00:18:35 +02:00
Jeremie Dimino 8ff6b099a6 parentheses matching
Ignore-this: 8cf8d95a4847422d07d5073403ead2db

darcs-hash:20110727145351-c41ad-64195df6d2a9b7c88cc1cd0a416d8f6052371b7c
2011-07-27 16:53:51 +02:00
Jeremie Dimino e877a0ff72 add colors
Ignore-this: e67c18ee1f58d9af23b0a53af74f09d5

darcs-hash:20110726221146-c41ad-60551b96cbfff4cbb301fac6fa868ce0b0e22c42
2011-07-27 00:11:46 +02:00