6 Nov
2014
6 Nov
'14
10:46 a.m.
On 12 Oct 2014, at 9:56, Allan Odgaard wrote:
On 12 Oct 2014, at 0:31, Carpii UK wrote:
Is there a way to disable the saving of 'corrections' altogether?
Or I guess even better would be a way to disable de-ranking of files which are already open.
Not currently possible […]
In beta 5.4 the current document is no longer placed last, when there is a filter string.
Also, the filter string will now be applied to the full path, even when there is no slash, though matches that only touch the document name are ranked higher than those which touch the entire path.