Corrige um bug de desempenho que ocorria ao usar o cmd-k com muita frequência.