codeEditor.run=לָרוּץ
codeEditor.expandTooltip=הרחב את העורך
codeEditor.save=Finish
codeEditor.savedSuccessfully=הווידג'ט נשמר בהצלחה
codeEditor.saveError=שגיאה בשמירת הווידג'ט
codeEditor.switchDisplayMode=החלף מצב תצוגה
codeEditor.jsExecutionError=An error occurred while executing the JS code
