Jeremie Dimino
586bfbdc04
add the #typeof directive
2013-07-10 16:51:52 +01:00
Jeremie Dimino
cbc658ca41
handle LTerm_inputrc.Parse_error
2013-07-08 11:04:05 +01:00
Jeremie Dimino
589f0707c4
fix UTop.check_phrase
...
The [get_ocaml_error_message] was done after the [Btype.backtrack] in
case of error, causing the type to be displayed incorrectly.
2013-05-21 10:26:59 +01:00
Jérémie Dimino
b721aa054b
fix the split_words function in uTop.ml
2013-05-17 19:39:14 +01:00
Jeremie Dimino
c1ec47d83e
follow type aliases
2013-04-26 14:14:11 +01:00
Jeremie Dimino
c1bb8be73f
always show the box for backward search
2013-04-26 09:57:41 +01:00
Jeremie Dimino
8da5b260fa
add an option to hide the completion bar
2013-04-26 09:53:59 +01:00
Jérémie Dimino
725c6b0327
Merge pull request #8 from benkard/input-multi
...
Add multi-phrase input
2013-04-14 09:51:44 -07:00
Matthias Andreas Benkard
c9e89f0079
Emacs: Enable the use of multi-phrase input on startup.
2013-04-14 14:01:40 +02:00
Matthias Andreas Benkard
244c6cfe01
Apply maintainer's suggestions.
2013-04-14 13:32:04 +02:00
Jérémie Dimino
e8c1b5f8ca
change the '$' character in the prompt to '#' to match the standard
...
toplevel.
2013-04-05 17:21:50 +01:00
Matthias Andreas Benkard
9deca3da21
`input-multi`: Fix error highlighting.
2013-04-03 22:53:12 +02:00
Matthias Andreas Benkard
3c10f874bc
Support the `input-multi` command on the Emacs side.
2013-04-03 22:03:18 +02:00
Matthias Andreas Benkard
022a271565
Fix a typo.
2013-04-03 22:02:56 +02:00
Matthias Andreas Benkard
4db7da7a4c
uTop_main: Handle `input-multi` commands.
2013-04-03 21:21:57 +02:00
Matthias Andreas Benkard
bef8cb8fed
Add function `parse_use_file`.
2013-04-03 21:21:52 +02:00
Jérémie Dimino
7e7116ca9d
fix detection of eof reaching when using camlp4
2013-03-09 19:15:14 +00:00
Jérémie Dimino
5123624b63
automatically load camlp4 when needed
2013-03-09 18:44:57 +00:00
Jeremie Dimino
ae1636cf45
added the option -show-reserved to disable [hide_reserved]
2013-02-06 17:27:09 -05:00
Jeremie Dimino
8da31fbdce
allow to hide identifiers starting with a '_'
...
Enabled by default.
2013-02-06 17:22:03 -05:00
Jeremie Dimino
77e525d17a
make sure -short-paths is the default with ocaml >= 4.01.0
2013-01-29 15:02:52 -05:00
Jeremie Dimino
b166bf9d17
added the command line option -short-paths for ocaml >= 4.01.0
2013-01-29 14:20:31 -05:00
Jeremie Dimino
9d5578d6f8
refactoring of expression rewriting
...
Ignore-this: 3713a9bc8818619cb8fa0afdc14d6a41
- factorize the code between lwt and async stuff
- handle type aliases
darcs-hash:20121015094544-c41ad-167ffe2a9f5ecb8973914e9e57b9879c09f561af
2012-10-15 11:45:44 +02:00
Jeremie Dimino
6574b1252e
remove local variables from uTop_main.ml
...
Ignore-this: fec887057546e3d42782e2fb33a18bad
darcs-hash:20121015080512-c41ad-c684ef7b334e14ab95b71b85eb827a0aee0d153a
2012-10-15 10:05:12 +02:00
anil
98421358fd
async-autorun
...
Ignore-this: d1d8552acc992f5825101d2a81d29e13
Detect statements that have an Async Deferred type and run them in a
separate thread that blocks the top-level until completed. This is
similar to the Lwt patch, except that the Deferred types may have a
few more type aliases, and must be wrapped into a unit closure.
darcs-hash:20121015060259-b29a9-51a32b2a217d3097169e5ad9ba4f222227426a79
2012-10-15 08:02:59 +02:00
wojciech.meyer
ee65d72abd
Showing type of an identifier at point
...
Ignore-this: 40b69923375d0ccdf6b1a98891b1bca6
darcs-hash:20120801020653-33bd9-7e0a38b19718bfe0965d9570388f9f5cb74dda48
2012-08-01 04:06:53 +02:00
wojciech.meyer
354b6d774a
Allow C-j to eval with auto-end
...
Ignore-this: 8cd09eabbc6b9d5483a5aa380e2cb278
darcs-hash:20120801001337-33bd9-a5d76dab972820c41fc2beb40818a98013f111c6
2012-08-01 02:13:37 +02:00
wojciech.meyer
718fb69db1
Print only OCaml preprocessor message loaded if it was really loaded
...
Ignore-this: b96ea788d929cf7dbb853adfa59e4213
darcs-hash:20120731235343-33bd9-711df107c2b3b4580c0c37fe8271e732a4caeada
2012-08-01 01:53:43 +02:00
wojciech.meyer
e4796c8e51
car $ cdr -> cadr
...
Ignore-this: 2b5aa46e42282ee30710daaf8d735116
darcs-hash:20120731235124-33bd9-9fd2bf3a358e2ed54eac23aaa56df50ece816004
2012-08-01 01:51:24 +02:00
wojciech.meyer
63bf082195
Add also pre-processor to file local variables in uTop_main as a proof of concept
...
Ignore-this: 930ca27ff89052f1d8d42e0f7d01fd88
darcs-hash:20120731235039-33bd9-bcc756ab753b24f1f776442a4276609e0d051e89
2012-08-01 01:50:39 +02:00
wojciech.meyer
272f6f5c29
utop-ocaml-preprocessor - allow loading also pre-procesor from local file variables
...
Ignore-this: 50e32972f422612675d47fd9ce33fc43
darcs-hash:20120731234941-33bd9-16a892de7fff014771091a9a138380d665bdadd9
2012-08-01 01:49:41 +02:00
wojciech.meyer
5a47685bfb
Factor out code to utop-eval-string
...
Ignore-this: 42d0ac92ee18eb0a7865743fe5058a5c
darcs-hash:20120731234841-33bd9-68f9230ddc9e8f41b48efa62dd9d048f2ae506d4
2012-08-01 01:48:41 +02:00
wojciech.meyer
82cccd480a
Improvements for loading packages from the file local variables
...
Ignore-this: 8795ff387135ceb2b99ff8ae7f322875
darcs-hash:20120731231800-33bd9-adf29b40d61f7f63be893a8473edb6e77863b930
2012-08-01 01:18:00 +02:00
Jeremie Dimino
2691c736ef
allow to complete text in a tuareg buffer using the toplevel environment
...
Ignore-this: cdb99a49351689dc70386cf39083709
darcs-hash:20120716154000-c41ad-eac5e3f59960f62c93e1cf27f8e1ce982d9f9b95
2012-07-16 17:40:00 +02:00
Jeremie Dimino
0d5e593728
add support the caml-mode
...
Ignore-this: b691ce8780c5d177ab69d0f00b521e5c
darcs-hash:20120716151404-c41ad-658717281b5b9ce73a0e5ac9cc219d700d8aee2a
2012-07-16 17:14:04 +02:00
Jeremie Dimino
51f7caafb5
adjustments for ocaml 4
...
Ignore-this: 8dcb773296b6ac7a6e83bb0b00f6697f
darcs-hash:20120615142321-c41ad-563f6c26dba5a942182e86a369167547ffbff121
2012-06-15 16:23:21 +02:00
Jeremie Dimino
d74d29278d
escape parentheses at beginning of lines in strings in .el files
...
Ignore-this: f8adf18e5730136895bd607cc270ef43
It seems to confuse the emacs syntax highlighter...
darcs-hash:20120323193634-c41ad-fcb6a026bc31ae4fd3b6148af46744e51a82b86f
2012-03-23 20:36:34 +01:00
Jeremie Dimino
cfb648c2e1
decide whether to follow output in each windows instead of globally
...
Ignore-this: 36cd9d3b8cd1a4c41284ea8d0731506f
darcs-hash:20120322065232-c41ad-218be51b177171f6640703e504599079d8c10006
2012-03-22 07:52:32 +01:00
Jeremie Dimino
8d8f46c8b6
follow OCaml's output only if we are at the end of the buffer
...
Ignore-this: 739f69390b4952091f481cc8dfb3e144
darcs-hash:20120322064548-c41ad-a3383dfe0bfa362d15c06949cbf5c9b44c5a82d1
2012-03-22 07:45:48 +01:00
Jeremie Dimino
0fbf0ff84b
fix utop-eval-input with allow-incomplete=t when the point is before the prompt
...
Ignore-this: a3dc2b3421588911f2770105081a8355
darcs-hash:20120321231655-c41ad-166ae6880230aa1f4d4eb616d221622523081c99
2012-03-22 00:16:55 +01:00
wojciech.meyer
11cf629c46
Basic functionality is almost there, however still plenty to make it production quality. In this changeset I regenerated setup.ml via. oasis 3 so it contains a huge diff.
...
Ignore-this: 357d4c82baa1ecdf5c49bf65459059e9
darcs-hash:20120321031530-33bd9-43e454ae62709103edfb0208e7ab95a5319ae93a
2012-03-21 04:15:30 +01:00
Jeremie Dimino
4264dc3d92
follow OCaml's output in emacs
...
Ignore-this: 20e2a63a90783cbcfbe273732293188b
darcs-hash:20120321131824-c41ad-cf97daa2d551f812603bc30f955a94d0e39478e1
2012-03-21 14:18:24 +01:00
Jeremie Dimino
543b99ab35
fix utop-send-string
...
Ignore-this: a638b987e583c642e076ecc1b8a159b1
It was always calling (utop) so the utop buffer always stole the
focus.
darcs-hash:20120318015443-c41ad-21c1d8a51b532c5bb783fb3272e64b3908e43df4
2012-03-18 02:54:43 +01:00
Jeremie Dimino
241e00d0a6
typo
...
Ignore-this: 93bcb3455b94dde47d1912bbb29750a7
darcs-hash:20120318012709-c41ad-54bc2df05955ac06897efb4406c77bc3918b09cb
2012-03-18 02:27:09 +01:00
wojciech.meyer
a2acfb5a87
Small improvement
...
Ignore-this: f8bd21d0a948e37a9697ecddcde9ed7c
darcs-hash:20120315032047-33bd9-9931fb1c2c888b42466734f89b69f2010379d2eb
2012-03-15 04:20:47 +01:00
wojciech.meyer
0b4d9c8ce3
Now it's possible to load packages defined with the file variable utop-package-list, therefore they can be loaded at startup to the toplevel. Desirable user interface has been implemented as part of it. To enable put something like:
...
Ignore-this: cd594a9e2a71feadba95000a15838d82
(add-hook 'typerex-mode-hook 'utop-setup-ocaml-buffer)
(add-hook 'hack-local-variables-hook 'utop-query-load-package-list)
in your .emacs
darcs-hash:20120315031645-33bd9-c602dacabd15aaa3a63fd3c4146e7f81f16e567d
2012-03-15 04:16:45 +01:00
wojciech.meyer
4d78acb1bd
Some cleanup
...
Ignore-this: 9623774e874ab9d118b1367aedee8788
darcs-hash:20120315015621-33bd9-351724bd992d32eb1885eaa69b83f9cce8684da1
2012-03-15 02:56:21 +01:00
wojciech.meyer
afe9eed0b0
antiquote argument in macro
...
Ignore-this: 737b25283081ca375d7556539b89b6d8
darcs-hash:20120304123503-33bd9-23cae46c3a4812afa3104319891acf339f0489d2
2012-03-04 13:35:03 +01:00
wojciech.meyer
da70c2bc46
copy to kill-ring last input
...
Ignore-this: 7fda2e532886b8dcbeac63bcb55ccc7e
darcs-hash:20120304022214-33bd9-0efeff0f0392361f8f327a1a7d2cbda0f2c951a4
2012-03-04 03:22:14 +01:00
wojciech.meyer
cd033960ed
bytecode compilation warning
...
Ignore-this: 96677670231e022f57ee2b180bfedb0f
darcs-hash:20120303231227-33bd9-a209e018067f92b81cd65fc3320fa8b47ce8a769
2012-03-04 00:12:27 +01:00
wojciech.meyer
c83560e01f
packages are in reversed order - fix that
...
Ignore-this: b322415cad374af853e936bccd2cb27b
darcs-hash:20120303225038-33bd9-7850599bceca75a02dd3fb7a508aa4008f6e3271
2012-03-03 23:50:38 +01:00
wojciech.meyer
0db2c4d588
utop arguments is taken via utop-query-arguments
...
Ignore-this: 8d0bb0b0ca55ace93e0f5a239b09cddd
darcs-hash:20120303224903-33bd9-ce492fbcb62a1efcf72c82cb032f7760aaf19e53
2012-03-03 23:49:03 +01:00
wojciech.meyer
ce6525ad79
replace ad-hoc building of code in macros with quoted lists
...
Ignore-this: ec3137b5fe4c2d641d152bb77b4a7e64
darcs-hash:20120303224350-33bd9-a723683f6c5cb79023a7ff056bf5279cd64b72ee
2012-03-03 23:43:50 +01:00
wojciech.meyer
8535250c29
be better at handling integration with tuareg and typerex
...
Ignore-this: 11bdba8ecbe2838732e3bda7ff2f29c0
darcs-hash:20120303224259-33bd9-047a8c48c6f05f146715666dd83f2b494e4ee815
2012-03-03 23:42:59 +01:00
wojciech.meyer
baf0de7ca9
provide tabulated-list for the older versions of emacs
...
Ignore-this: 385310d27c8b7812fd914ad4125ef252
darcs-hash:20120303224156-33bd9-b2f09d35cf79bc530512bd4ed34b2a64f86f4e03
2012-03-03 23:41:56 +01:00
wojciech.meyer
cc3743324b
remove un-neeeded argument to utop-mode
...
Ignore-this: abdd824025eb57f6c235c14f95e74e9f
darcs-hash:20120303195057-33bd9-42d4d88a374a05d1afe09b15ca12985ca844acb4
2012-03-03 20:50:57 +01:00
wojciech.meyer
b09cf8da02
remove byte compilation warnings
...
Ignore-this: 628353be0d3e1d11d84fdc89f9a7690d
darcs-hash:20120303194751-33bd9-5bb0c7c9e5e1312d87cd764c9cb29f48faa892aa
2012-03-03 20:47:51 +01:00
wojciech.meyer
bd61b32e8a
wrap process-send-string with utop-send-string
...
Ignore-this: feb94f7ed3efee69e26ad73ac8503e8a
This adds needed checks, and start utop when the rest of the code wants to send string to the process and utop is not loaded
darcs-hash:20120303180200-33bd9-4aff67226cd9d3db1194c53a48f1bbe195c4badc
2012-03-03 19:02:00 +01:00
wojciech.meyer
023e72933d
interactive list of packages now work in Emacs
...
Ignore-this: f5beeb274d704e63b8520b91ad33b39b
darcs-hash:20120303175448-33bd9-2fca1cf41d9a66bfcbd75262b64bc41a25774fc7
2012-03-03 18:54:48 +01:00
wojciech.meyer
01263d3532
convert `utop-perform' to more idiomatic quotation based macro
...
Ignore-this: 2729a0e0375729f93301f73701b272
darcs-hash:20120303144223-33bd9-95a371ecc3b7b953e0f0e4bb7317e7d79fa30791
2012-03-03 15:42:23 +01:00
wojciech.meyer
f91647a254
Prelimnary support for "require:" command - in progress. Handle links in buttons
...
Ignore-this: 148a3142a2f40cc05f887cb0c53712fb
darcs-hash:20120301035606-33bd9-14ca041ed4b73a645a5251a4fff63774490d8766
2012-03-01 04:56:06 +01:00
wojciech.meyer
98f032b5a5
Change list-ocaml-packages to less generic utop-list-ocaml-packages to avoid clashes
...
Ignore-this: 13ccbbe0c15950de745c971f176cdc1c
darcs-hash:20120301014430-33bd9-378cbc298ae1a75603eaf6bc894d8fc097be42fd
2012-03-01 02:44:30 +01:00
wojciech.meyer
63b7f5df6e
Remove trailing whitespace
...
Ignore-this: 89ea7ff25320e70fb51524e9a5673f
darcs-hash:20120301014322-33bd9-eab207fe4cf1799e666045d16ae68dddd8602e6b
2012-03-01 02:43:22 +01:00
wojciech.meyer
6a5693772f
Use tabulated-list-mode to create a widget to choose findlib package
...
Ignore-this: dae6384889fa21002d0669860d557122
darcs-hash:20120301014144-33bd9-97d020adaad5f924a807a1310a59b2a31b40a245
2012-03-01 02:41:44 +01:00
wojciech.meyer
a186e64385
Make utop-mode to defined via define-derived-mode. Sinc define-derived-mode can't produce mode accepting arguments - now the arguments are taken from the utop-command. Factor out utop-get-arguments to utop-query-arguments and utop-arguments
...
Ignore-this: ad14d3459012cf828815b72999328b49
darcs-hash:20120229042009-33bd9-039c63518e33f2001b86d07388b8d0c3e61dbca0
2012-02-29 05:20:09 +01:00
Jeremie Dimino
5be22e37eb
handle warnings printed on stderr
...
Ignore-this: d07506d448326fd2675565215457dddc
darcs-hash:20120223140700-c41ad-6f4576a10ef6b3d3b586803e0de66e0e6d6be698
2012-02-23 15:07:00 +01:00
Jeremie Dimino
a3367ec947
handle camlp4ast -> ocamlast conversion errors
...
Ignore-this: 80e1397388e84be3a301279b26da1b30
darcs-hash:20120223132338-c41ad-ef4dc650c12d214c9b898da6acd408fb327d2449
2012-02-23 14:23:38 +01:00
Jeremie Dimino
b6c3d44ac2
better support for revised syntax
...
Ignore-this: a75d11960fc1daa6c8838f0e00747333
darcs-hash:20120223105439-c41ad-1904218737a1b71fdadc159f606f5c2ca58cfed9
2012-02-23 11:54:39 +01:00
Jeremie Dimino
d8dae4ac5f
typerex mode integration
...
Ignore-this: 75eac634eda3b909b6cac3ad1e6bab64
darcs-hash:20120222191910-c41ad-efba56e4d469a58b5595c992d1473768d38578c1
2012-02-22 20:19:10 +01:00
Jeremie Dimino
a196bb8802
better detection of Lwt.t values
...
Ignore-this: c1fb44905029d45646301f66bb3ca078
darcs-hash:20120222172522-c41ad-e4fb0b9b6d0245d4aa958c69bcce3969c822795a
2012-02-22 18:25:22 +01:00
Jeremie Dimino
f819014eb9
strip camlp4 error messages
...
Ignore-this: d9cee7dccc2270054156437b92e5e57e
darcs-hash:20120222162516-c41ad-b97dd13591562c7fdb96ede631b501f4d392e32b
2012-02-22 17:25:16 +01:00
Jeremie Dimino
4171f877a6
better mechanism for colorising output phrases
...
Ignore-this: 381f771be484c08c09b9aec63e20c686
darcs-hash:20120222162147-c41ad-ac49b2283e41a8ab09e5d413d7df125b0baf33e4
2012-02-22 17:21:47 +01:00
Jeremie Dimino
4fc06ba0a3
correctly lex quotations and antiquotations and do completion inside antiquotations
...
Ignore-this: 399f6b2dd65fd530e684d09cf5d57d0a
darcs-hash:20120222155931-c41ad-835a2ccf63ac1e853846972880a49d1f8ff6a236
2012-02-22 16:59:31 +01:00
Jeremie Dimino
65ad8cd988
make UTop_camlp4 public so the user can reuse it
...
Ignore-this: 103cabecad95046cf6686b55028de6c9
darcs-hash:20120220101444-c41ad-5e51be240cb26f1ca02fc37655d464b5acf1cbab
2012-02-20 11:14:44 +01:00
Jeremie Dimino
40c2801b99
execute delayed actions before parsing with camlp4
...
Ignore-this: 162f06f1949d9af97793705ffd762a7
darcs-hash:20120220100112-c41ad-251c93cbec866030e3d736083db3a974e0bf59bf
2012-02-20 11:01:12 +01:00
Jeremie Dimino
dbae1b32bc
typo
...
Ignore-this: 35a418560754730e6c52f8730ba47b59
darcs-hash:20120220095457-c41ad-50a3a983630fff04845f8ba1cca47b261d897fcd
2012-02-20 10:54:57 +01:00
Jeremie Dimino
dcdab7ac0f
handle directive errors
...
Ignore-this: f9d34b11616ac661ed173d247b41cfe1
darcs-hash:20120217105127-c41ad-c23ea68992ece18a620ae19947307497935c7fef
2012-02-17 11:51:27 +01:00
Jeremie Dimino
02e8648628
fix fix_string
...
Ignore-this: 58f31abea9193b83b24d22a659e203e4
darcs-hash:20120215204740-c41ad-b6a63ec253a8b796a82bfb8a9db0b0e098fac131
2012-02-15 21:47:40 +01:00
Jeremie Dimino
bd9d70ecfc
do not fail when the printing of a phrase contains invalid UTF-8
...
Ignore-this: 26096597481104d05c42fef1600bcc05
darcs-hash:20120215173608-c41ad-e8b59147ddc66dc91178d83ce5215bdc2491b692
2012-02-15 18:36:08 +01:00
Jeremie Dimino
057f6d81bf
add lines that contains errors to history in emacs
...
Ignore-this: 12a4a9bb9aaa6559543ec5dcfcb7bfc4
darcs-hash:20120215170433-c41ad-bfe19305a59bdd895ef47f061bee9f2f04b8893a
2012-02-15 18:04:33 +01:00
Jeremie Dimino
d2e0e79dd4
save history when receving a sighup
...
Ignore-this: 219e88bce2dafc999b6f2f73a16274bf
darcs-hash:20120215154929-c41ad-6377472357c9ff2e29abfc794ec23e988872f9d9
2012-02-15 16:49:29 +01:00
Jeremie Dimino
6aeb61432a
save history before killing the emacs buffer
...
Ignore-this: 165539f1b3cc25e7bbfe51c29c378798
darcs-hash:20120213145725-c41ad-5c47d1977067310ba024249b47b8251ff1b10ee9
2012-02-13 15:57:25 +01:00
Jeremie Dimino
12dd581b99
allow to gracefully quit utop in emacs
...
Ignore-this: 3360f5c57bfb97f64d4f4509901ea0cd
darcs-hash:20120213092110-c41ad-88847c98d4a92479772b02d4fe88cdfa85fad9b6
2012-02-13 10:21:10 +01:00
Jeremie Dimino
3fe28723e2
use the real history in emacs
...
Ignore-this: 2ec438176bdf1549eb2b7c6c8f3f5e50
darcs-hash:20120212204029-c41ad-c5e71ad6e8d290b0c7e19994e3ba46879b38089d
2012-02-12 21:40:29 +01:00
Jeremie Dimino
8725e10070
more history settings
...
Ignore-this: d048fb6bc7cc235fdc4ea6c75d4525a4
darcs-hash:20120212193712-c41ad-96b5f2057ff55811cdd90a8e8ae2be3e4af3d4d3
2012-02-12 20:37:12 +01:00
Jeremie Dimino
361d6459f6
use the new history system
...
Ignore-this: 3a1d9830d09215b8c34ac97ee79fd97d
darcs-hash:20120212190432-c41ad-865dd5a514e2a3175f6c5412f54567fb7861638c
2012-02-12 20:04:32 +01:00
Jeremie Dimino
0f9b05239e
allow to change the utop command in emacs
...
Ignore-this: 8efba5419e27c25b877194e768c0ab02
darcs-hash:20120211183745-c41ad-d9d63da96fdff26217e5f9aba65c14459a621ab1
2012-02-11 19:37:45 +01:00
Jeremie Dimino
c29eaa9f99
do not fail in completion when a compiled interface do not match
...
Ignore-this: 46faaa2093d746bbbc1ab51a050e8b23
darcs-hash:20120211104110-c41ad-711b0267780ea9ce6ae8a00e9e5548c51a34fac3
2012-02-11 11:41:10 +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
5deae637a0
set mode-line-process in emacs
...
Ignore-this: 7152b56d2cf91742544051b7478398f8
darcs-hash:20120203104913-c41ad-ac905fae8b928ca0989cfc7acc070d854db74979
2012-02-03 11:49:13 +01:00
Jeremie Dimino
2f218dd339
add a menu
...
Ignore-this: 6ead244dfba763748526761ade907ac4
darcs-hash:20120203103140-c41ad-ce51c697f42bdfbcd0212b18581ac1f1e2a0c36b
2012-02-03 11:31:40 +01:00
Jeremie Dimino
21ebe44ff0
better tuareg integration
...
Ignore-this: 4ba7fb3a818232c1423c9d7f1a65f318
darcs-hash:20120203094158-c41ad-f9d191e4ead0c4e8f7c7156edf1d92b3c381ac8e
2012-02-03 10:41:58 +01:00
Jeremie Dimino
e52fb6987a
hide completion when found one
...
Ignore-this: a038175ae185d87f9fb3aaadd2fd9504
darcs-hash:20120203065638-c41ad-d231e837d60c80a15aa85b659048ca8d51740a64
2012-02-03 07:56:38 +01:00
Jeremie Dimino
a877bb1028
add a missing add-hook
...
Ignore-this: 2f586cf13c72cacb438f911cdeff19b0
darcs-hash:20120202224528-c41ad-8e638a91d8c04073bebf805451e3c9d019016e6a
2012-02-02 23:45:28 +01:00
Jeremie Dimino
ed24214af0
hack to force camlp4 to display its welcome message before the prompt in emacs
...
Ignore-this: fe0dee42954ec08b0465d6a57d45dd98
darcs-hash:20120202223923-c41ad-967ee6191c205214ac8d220fddc2d80c4cb9c5bc
2012-02-02 23:39:23 +01:00
Jeremie Dimino
49e59693f9
allow to restart utop in the same buffer
...
Ignore-this: 671e1170602f13fa2fb9a08a07abbbfd
darcs-hash:20120202220740-c41ad-4263d99bb641d6b1168a56eb98e8a978e5298685
2012-02-02 23:07:40 +01:00
Jeremie Dimino
465b5e8aad
always move the point to the end of all utop buffers when the prompt appears in emacs
...
Ignore-this: 20924b2ba96e14db5421ff96552b5cdb
darcs-hash:20120202212320-c41ad-6b49252f780dc562bea0a5146d94cb18a26f2d1a
2012-02-02 22:23:20 +01:00
Jeremie Dimino
1fc01ed241
better handling of non-editable part in emacs
...
Ignore-this: 3eefd6ba6429a1db3679662b524e2a07
darcs-hash:20120202203044-c41ad-7a0e856f3a00ef5730705cf3d1e3ce17f17f4c04
2012-02-02 21:30:44 +01:00
Jeremie Dimino
db6cbf1f61
add a sentinel in the emacs mode to print status at the end of the buffer
...
Ignore-this: a28596e0b3eaf811a1ce7ffb9b56c0c8
darcs-hash:20120202153104-c41ad-e872c7f5e94c3469e6b44bfdd2f9a5ae184a0ef9
2012-02-02 16:31:04 +01:00
Jeremie Dimino
ff8ef4b766
ignore breaks while reading a line in emacs
...
Ignore-this: 8983f41fefddaf597300d9679f5c798d
darcs-hash:20120202141920-c41ad-374eaecb31bfbe820440d4380f7757e3c7071b1c
2012-02-02 15:19:20 +01:00