Brian E. Granger 03ebbd6d09 Rename editorwidget -> fileeditor. 8 سال پیش
..
app 03ebbd6d09 Rename editorwidget -> fileeditor. 8 سال پیش
console cc41caf033 Publish 8 سال پیش
filebrowser 03ebbd6d09 Rename editorwidget -> fileeditor. 8 سال پیش
notebook cc41caf033 Publish 8 سال پیش
terminal e53b31c1fb Rename TerminalWidget -> Terminal. 8 سال پیش