Class CodeMirror
Class for handling and displaying CodeMirror
		
		
		
		Package: Core\Backend
Copyright: four for business AG <www.4fb.de>
License: http://www.contenido.org/license/LIZENZ.txt
Author: Unknown
Located at external/codemirror/class.codemirror.php
	
	Copyright: four for business AG <www.4fb.de>
License: http://www.contenido.org/license/LIZENZ.txt
Author: Unknown
Located at external/codemirror/class.codemirror.php
| 
			 public 
			
			
			 | 
		#
		 __construct( string $id, string $syntax, string $lang, boolean $addScript, array $cfg, boolean $editable = true )Constructor of CodeMirror initializes class variables | 
| 
			 private 
			
			
			 | 
		#
		 _getSystemProperties( )Function gets properties from CONTENIDO for CodeMirror and stores it into $this->setProperty so user is able to overwride standard settings or append other settings. Function also checks if CodeMirror is activated or deactivated by user | 
| 
			 public 
			
			
			 | 
		#
		 setProperty( string $name, string $value, boolean $isNumeric = false )Function for setting a property for CodeMirror to $this->setProperty existing properties were overwritten | 
| 
			 private 
			
			
			 | |
| 
			 private 
			
			
			 | |
| 
			 public 
			string
			
			 | 
| 
			private  
			array
		 | $_properties | array() | 
			#
			 Properties which were used to init CodeMirror | 
| 
			private  
			string
		 | $_textareaId | '' | 
			#
			 HTML-ID of textarea which is replaced by CodeMirror | 
| 
			private  
			boolean
		 | $_activated | true | 
			#
			 defines if textarea is used or not (by system/client/user property) | 
| 
			private  
			boolean
		 | $_addScript | true | 
			#
			 defines if js-script for CodeMirror is included on rendering process | 
| 
			private  
			array
		 | $_cfg | array() | 
			#
			 The CONTENIDO configuration array | 
| 
			private  
			string
		 | $_language | '' | 
			#
			 Language of CodeMirror | 
| 
			private  
			string
		 | $_syntax | '' | 
			#
			 Syntax of CodeMirror |