You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The user frequency score would be attached to display names, instead of accurately scoped properties, both to prevent wasting memory and to avoid resetting that information when the cursor changes scope.
The text was updated successfully, but these errors were encountered:
I am still not sure on integrating the frequency score in the overall score to decide the order of popup items as compared to just use the frequency score to decide the highest weighted entry and highlight it when the popup is open.
So far, the idea is to compute the final score of each suggestion based on a weighted sum.
For instance, on JS:
with
w1 < w2 < w3 < w4
.The user frequency score would be attached to display names, instead of accurately scoped properties, both to prevent wasting memory and to avoid resetting that information when the cursor changes scope.
The text was updated successfully, but these errors were encountered: