Does not work when TinyMCE is disabled

Disable tinymce with using the following code:

add_filter( ‘user_can_richedit’, function($default){
global $post;
if ( ‘post’ == get_post_type( $post ) )
return false;
return $default;
});

Now once you edit a post, there is no editor shown at all if your plugin is activated.

https://ww.wp.xz.cn/plugins/html-editor-syntax-highlighter/