972996374a
XDG Base Directory Compliance ( #431 )
...
This uses xdg to load files in the right place.
2023-07-03 11:43:57 +02:00
5b0adae849
fix startup files autoloading and allow to disable it
2013-11-26 13:22:36 +00:00
9e1ca8d41f
remove unused gtk resources
...
Ignore-this: 2d162e76c95d6e7767dd94a7bbf1e837
darcs-hash:20120226182802-c41ad-43f5d83ab74709db2cb11f72da6a2beede2deadf
2012-02-26 19:28:02 +01:00
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
2351c45995
start of the GTK ui
...
Ignore-this: b51ff928e96baaa006c6ffc612196645
darcs-hash:20110920154735-c41ad-1bc3b29f91f26b1436235470bf4de5ef64de6146
2011-09-20 17:47:35 +02:00
5eff3286aa
add colors for modules and directives
...
Ignore-this: 318635e4f07f427549dbe99980e4c46f
darcs-hash:20110803083828-c41ad-f2e8bf6cdfb2991b965725e356dac9bc64a906fc
2011-08-03 10:38:28 +02:00
ee02c487ee
better colors for the light profile
...
Ignore-this: ae5c35339f4c84a2034a01afe55476ad
darcs-hash:20110803075212-c41ad-61875ba17a4f3ed69962090919ec13d296b32db3
2011-08-03 09:52:12 +02:00
c6827f1ba3
add support for light colors terminals
...
Ignore-this: fb8794243e001dbb59379ac829be0b15
darcs-hash:20110801221835-c41ad-32e00f215b7167d23efc7a3d3e3aa972f0062785
2011-08-02 00:18:35 +02:00
8ff6b099a6
parentheses matching
...
Ignore-this: 8cf8d95a4847422d07d5073403ead2db
darcs-hash:20110727145351-c41ad-64195df6d2a9b7c88cc1cd0a416d8f6052371b7c
2011-07-27 16:53:51 +02:00
e877a0ff72
add colors
...
Ignore-this: e67c18ee1f58d9af23b0a53af74f09d5
darcs-hash:20110726221146-c41ad-60551b96cbfff4cbb301fac6fa868ce0b0e22c42
2011-07-27 00:11:46 +02:00
Skye Soss
Jeremie Dimino
Jeremie Dimino