Code Editor : should-print-patch.js