Michał Krassowski

Results 371 issues of Michał Krassowski

## Description As each letter typed triggers an update of the entire virtual document, it can be very expensive in notebooks with many editors (150+). Instead, it should only patch...

## What are you trying to do? Add token based code overrides. The code overrides make the existing language servers work with non-standard syntax which is added by the kernels...

## References Fixes part of #20, and maybe #274. Well, it does not work yet (if I remember correctly), but the tests might come in handy. ## Code changes ##...

help wanted

The awesome table/list of licenses introduced upstream in JupyterLab 3.1 (https://github.com/jupyterlab/jupyterlab/pull/9519 and https://github.com/jupyterlab/jupyterlab/pull/9779) shows the extension but for now it is empty. I have not explored this topic yet so...

An issue to write down ideas or requests for what options should be included. As a starting point I imagine that the JSON structure will hold 'general' settings in one...

enhancement

When adding pyright integration a simple priority system was implemented to allow testing multiple servers on CI. There are still things to do: - [x] **Release blocker**: reduce number of...

## What are you trying to do? Support LSP snippets to restore functionality of R languageserver. R languageserver moved some function completions to use snippets: https://github.com/REditorSupport/languageserver/pull/168. It is not currently...

feature:completion
package:jupyterlab-lsp

A tiny nice-to-have improvement would be if the linter messages which include line numbers could have "error in line 84" substituted to "error in cell 3 line 12" using user-customizable...

enhancement
feature:diagnostics
editor:notebook

### What are you trying to do? The Julynter experiment #378 demonstrated how notebook-specific IDE features could work. The ideas would include: - "empty cell" diagnostic - "cells execution not...

enhancement

When diffing a notebook with a few SVG images, my browser often freezes and becomes unusable. There is no such a problem with PNGs. The difference is in the PNG...