Aditya Sharma

Fix workspace URL while cloning a workspace

6

## References ## Code changes The logic for getting the default workspace while cloning from a default workspace is outdated. Additionally, `workspace.fetch()` requires only workspace's name, and not the base...

Add `autoStartDefault ` to `getKernelPreference`

5

## References ## Code changes `getDefaultKernel` function requires `autoStartDefault` argument to return `defaultKernel`. This in turn is used to start the notebook with default kernel if no kernel is specified....

### Description If firepad is initialized for two clients at the same time, and if these clients have a default content in their monaco editor, then this content is replicated...

Instructions on how to debug and see logs from frontend container

1

When we do ``` # syntax = edrevo/dockerfile-plus ``` in a dockerfile, a docker container is launched from `edrevo/dockerfile-plus` image which contains the grpc server. Is there any way to...

Improve remote user's cursor

1

There are two issues with remote caret. 1. When remote user's cursor is on the first line, their name inside tooltip is cut off. The tooltip doesn't automatically repositions itself...