Merge pull request #18 from avatao-content/webide_enhancements

Webide enhancements
This commit is contained in:
Bokros Bálint 2018-03-19 13:34:33 +01:00 committed by GitHub
commit ce97228a51
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 9 deletions

View File

@ -41,14 +41,9 @@ export class WebSocketService {
}
public send(key: string, data?: any, trigger?: any): void {
// TODO: do this nicer?
const message = {'key': key};
if (data) {
message['data'] = data;
}
if (trigger) {
message['trigger'] = trigger;
}
if (data) { message['data'] = data; }
if (trigger) { message['trigger'] = trigger; }
this.uplink.next(message);
}
}

View File

@ -19,7 +19,7 @@ import { DeploymentNotificationService } from '../services/deployment-notificati
const modelist = brace.acequire('ace/ext/modelist');
const defaultSourceCode = 'Oops! Something went wrong :(';
const defaultSourceCode = 'Loading your file...';
const autosave_interval = 2000;
@Component({
@ -69,7 +69,7 @@ export class WebideComponent implements OnInit {
updateFileData(data: SourceCode) {
this.filename = data.filename;
this.directory = data.directory;
this.code = data.content;
this.code = (data.content != null) ? data.content : this.code;
this.language = modelist.getModeForPath(this.filename).name;
this.files = data.files;
}