I really like using the "ok google" option but when I activate it and another app uses the microphone i get a popup "(app using the mic.) is recording audio. com.google.android.googlequick [...] ". So I just disable "ok google" but yea, I suppose there is a better solution?
running EMUI 4,1/...