Launchers

I have used GNOME Do for a long time. But recently, it sometimes slow and causes the whole OS (specifically Arch Linux) freeze for a while. Therefore, I tried several alternatives.

Launchy - Not sure why, the skins do not load.

Synapse - Not sure why, the preferences/configurations do not save properly.

Then lastly, I am trying Ulauncher. It uses more memory than GNOME Do. But so far it looks good to me.