Soonho Kong
|
51a0d154d1
|
fix(emacs/lean-company): always allow typing for FIND_P
|
2014-09-29 12:32:46 -07:00 |
|
Soonho Kong
|
4b60499f7d
|
fix(emacs/lean-company): take out '@' from prefix for findp
fix #207
|
2014-09-26 08:53:48 +02:00 |
|
Leonardo de Moura
|
baf4c01de8
|
feat(frontends/lean): definitions are opaque by default
|
2014-09-19 15:54:32 -07:00 |
|
Soonho Kong
|
1527efb108
|
fix(emacs/lean-mode): run company-lean--check-prefix before auto-complete
fix #191
|
2014-09-14 23:15:24 -07:00 |
|
Soonho Kong
|
27b20c5585
|
fix(emacs/lean-company): fix auto-complete behavior after tab
fix #192
|
2014-09-14 23:15:24 -07:00 |
|
Soonho Kong
|
81ecbb4c94
|
fix(emacs/lean-company): import auto complete bug
fix #189
|
2014-09-14 23:15:24 -07:00 |
|
Soonho Kong
|
d424cdd336
|
feat(emacs/lean-company): add custom-variable lean-company-type-foreground
Close #190
|
2014-09-14 23:15:24 -07:00 |
|
Soonho Kong
|
2d29d6d319
|
feat(emacs/lean-company): auto-completion for import
Close #126
|
2014-09-14 00:00:25 -07:00 |
|
Soonho Kong
|
c034c54f50
|
refactor(emacs/debug): rename lean-server-debug to lean-debug
|
2014-09-12 14:25:08 -07:00 |
|
Soonho Kong
|
b31edb2cee
|
fix(emacs/lean-company): pass dummy continuation for WAIT
|
2014-09-11 13:46:07 -07:00 |
|
Soonho Kong
|
0b507777f9
|
fix(emacs/lean-company): repaint background in the candidate only when required
|
2014-09-11 13:44:54 -07:00 |
|
Soonho Kong
|
92f8a22ea1
|
fix(emacs/lean-company): send dummy continuation when send wait
|
2014-09-11 04:03:23 -07:00 |
|
Soonho Kong
|
1ea8b66a39
|
fix(emacs/lean-company): enable auto-complete when prefix length >= 1
[skip ci]
|
2014-09-10 16:21:44 -07:00 |
|
Soonho Kong
|
85bd112a37
|
fix(emacs/lean-company): color problem when showing auto-complete candidates
|
2014-09-09 13:22:58 -07:00 |
|
Soonho Kong
|
c26f39b86e
|
feat(emacs/lean-company): "c-u TAB" asks filter for FINDG
|
2014-09-09 13:22:58 -07:00 |
|
Soonho Kong
|
3682ca32d2
|
feat(emacs/lean-company): call FINDG if cursor is at "_"
|
2014-09-08 16:04:20 -07:00 |
|
Soonho Kong
|
c365f6b9ab
|
fix(emacs/lean-company): only activate auto-completion when TAB is pressed
|
2014-09-08 10:52:22 -07:00 |
|
Soonho Kong
|
6c483467dd
|
feat(emacs/lean-company): replace ?M in AC candidate with M and colorize
close #149
|
2014-09-08 09:47:51 -07:00 |
|
Soonho Kong
|
ba35ca5300
|
feat(emacs/lean-company): add company-lean--need-autocomplete
This one partially addresses #150.
|
2014-09-07 17:32:06 -07:00 |
|
Soonho Kong
|
0476591992
|
fix(emacs/lean-company): override company--window-width
Override 'company--window-width' to be 0.95 * window-body-width.
This partially solves the problem of issue #137.
|
2014-09-05 23:08:19 -07:00 |
|
Soonho Kong
|
db60a56056
|
feat(emacs/lean-company): truncate string if it's longer than 90% of window-width
Also add "..." in the end
Close #137
|
2014-09-05 08:49:05 -07:00 |
|
Soonho Kong
|
fc364566bf
|
feat(emacs/lean-company): truncate type info in auto-complete
Close #137
|
2014-09-05 06:59:02 -07:00 |
|
Soonho Kong
|
64bae94d3a
|
fix(emacs/lean-company): enable auto-complete if prefix has '.' or '_'
|
2014-09-05 06:59:02 -07:00 |
|
Soonho Kong
|
cc89cd051a
|
feat(emacs/lean-company): add lean-company
|
2014-09-04 16:32:07 -07:00 |
|
Soonho Kong
|
0426d04cb9
|
feat(emacs/README.md): add elisp which installs required packages
|
2014-08-26 17:16:16 -07:00 |
|