Corrige um bug de desempenho que podia ocorrer quando você usava o cmd-k com muita frequência.