3 ms·

I don't know, but I suspect is some window theme on some gnome window manager? It looks like the window split is a normal emacs split.