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
I profiled the dictionary lookup using the hotkey. With the PRAGMA PR that I submitted are still two issues that add to the time it takes to show the result to the user:
The window is created every time the window is show. This window can probably be created at startup, once only for the entire session, instead of each time the window is shown.
looking up words twice. In the tests I ran, the same queries were issued twice. There is probably a way to reduce the number of queries, but this improvement is probably one order the magnitude less than the issue Bug in MIA Dictionary #1 above.
The text was updated successfully, but these errors were encountered:
Type:
Environment:
I'm going to open a PR to resolve the issue:
Description:
I profiled the dictionary lookup using the hotkey. With the PRAGMA PR that I submitted are still two issues that add to the time it takes to show the result to the user:
The window is created every time the window is show. This window can probably be created at startup, once only for the entire session, instead of each time the window is shown.
looking up words twice. In the tests I ran, the same queries were issued twice. There is probably a way to reduce the number of queries, but this improvement is probably one order the magnitude less than the issue Bug in MIA Dictionary #1 above.
The text was updated successfully, but these errors were encountered: