What editor plugin is used on this site?

davidX

Or is it a feature floating around unstable?

thanks

ronakg

It's called Button Bar.

ronakg

It's called Button Bar.

davidX

That explains why nothing came up when I searched for "Editor".

Thanks!