Jeremy Kolb
|
2d7b4cc548
|
Add visibility to hover
|
2019-01-13 20:08:33 -05:00 |
|
Pascal Hertleif
|
7f16f922da
|
Tweak message shown for query fallback
Small tweak for #518
|
2019-01-13 13:32:52 +01:00 |
|
DJMcNab
|
a53c5de1fd
|
Add an explanatory message when we use the Query fallback
|
2019-01-13 10:31:37 +00:00 |
|
Aleksey Kladov
|
2d3940d0ab
|
rename TreePtr -> TreeArc
This is much clearer about the semantics
|
2019-01-11 19:59:06 +03:00 |
|
Aleksey Kladov
|
dda916bc4d
|
fix tests
|
2019-01-11 18:32:22 +03:00 |
|
Aleksey Kladov
|
f9ed8d4d23
|
envapsulate navigation target better
|
2019-01-11 16:01:57 +03:00 |
|
Marcus Klaas de Vries
|
f8261d611a
|
Fix typo defenition -> definition
|
2019-01-08 23:38:51 +01:00 |
|
Aleksey Kladov
|
5b573deb20
|
fix usages after rename
|
2019-01-08 22:33:36 +03:00 |
|