Interface Components

The code editor and directory sidebar (Filetree)

Summary

The code editor allows your users to create, edit, rename, and delete files and directories via a lightweight editor.

Features

  • Work with files or directories

  • View images

  • Syntax highlighting

  • Multiple editor modes (none, Sublime, Emacs, and Vim)

Two terminal tabs

Summary

The terminal allows your users to interact with their coding environment via a command line interface.

Features

  • Multiple tabs

  • Full curses (e.g. programs like htop )

  • Backed by actual terminal, no simulation

Summary

The web browser allows your users to view any local URL or static files located in /home/nt-user/workspace via a lightweight web browser.

Main Features

  • Load any local URL

  • localhost support

  • Load URL via port (e.g localhost:3000 )

  • Back button history

SQL Viewer showing two recent queries

Summary

The SQL results pane allows your users to see the results of an SQL query.

Features

  • View query results in a table

  • View history of previously run queries

  • Rerun previous queries with a single click

  • Edit a previously run query

Full GUI

Summary

The full GUI allows your users to run code that creates a GUI window.

Features

  • View and interact with GUI

  • Expand to fullscreen to view larger GUIs

  • Works with every programming language

Python GUI

Summary

The Python GUI allows lightweight Python graphic modules to run in a windowless environment. This can also be accomplished using Full GUI interface component.

  • Watch images being drawn in real-time

  • "lightning" icon displays the finished graphics at once

  • "stop" icon stops the drawing of the image

An empty Python Notebook

Summary

A full Python Notebook is available as an interface component.

Features

  • Create, import and export notebooks

  • Create charts and graphs

  • Supports automated tests and grading

Media Viewer

Summary

The media viewer tab will open whenever a user opens media files, this includes, images, videos, and gifs.

The media viewer does not need to be enabled and will display media files when they are opened. It has no configurable settings.

Media Viewer

Features

We support most media types that are supported by major browsers, some of which are included below:

File Type

Media Type

.jpg

Image

.jpeg

Image

.png

Image

.webp

Image

.gif

Gif

.webm

Video

.mp4

Video

.ogv

Video

Due to differing browser implementations, many videos will not play on all browsers. For best results we recommend using an MP4 container with the H.264 codec. Please refer to https://developer.mozilla.org/en-US/docs/Web/HTML/Supported_media_formats#Browser_compatibility for more details.

When required, users can always download video files and play them on their local machine.