Twitter github

PDE <3 Ctrl+o

For 3.3M4, PDE brings Christmas early to everyone by supporting ctrl+o on its manifest / plug-in editors. See the picture below for an example.

The PDE team wishes our source editor users very happy holidays 😉