谁能告诉我这是什么编辑器

---

的确是jetbrains家的，看右上角有个laravel，所以应该是phpstorm

---

phpstorm

---

Jetbrains的产品，如webstorm,phpstorm,IDEA这些

---

肯定Jetbrains家的无疑，看写的是存储过程，猜测是Datagrip