Marduk Bolaños

Edit a file in the JupyterLab editor

2

This would be very useful. How can it be implemented?

Renaming a notebook creates a copy

1

If I change the name of the notebook I am currently working on, a copy of this notebook with the new name is created.

Cannot delete a notebook in the Dashboard

1

When I click on the Delete button in the Dashboard, a confirmation dialogue is shown with a red Delete button. After clicking this button the notebook is not deleted.

Compiled binary is too big

6

- Robotgo version (or commit ref): fdaa440f26 - Go version: 1.15.3 - Gcc version: 9.2.0 - Operating system and bit: Windows 10 64 bit - Resolution: 1920x1080 - Can you...

Sort and merge citations upon exporting to PDF

4

When exporting to PDF one usually wants to merge contiguous citations, so that instead of [1,2,3,4] TeXmacs typesets [1-4]. The `cite-sort` package sorts the citations, but it does not merge...

Do not use the LaTeX macro resizebox when exporting figures to LaTeX

3

When TeXmacs exports a figure to LaTeX it uses the `resizebox` macro to set the size of the image file. However, the LaTeX file cannot be imported by TeXmacs because...

Currently, in order to toggle the colored links in the exported PDF (or printed PS) one has to activate the Link menu (Tools > Linking Tool) and then select Link...

LaTeX-compatible wide tilde and wide hat

1

Currently there is no difference between `\tilde` and `\widetilde` and `\hat` and `\widehat`. This is not correct and it also breaks compatibility with LaTeX. All that has been fixed in...

Why use Java 1.8.0-121 and not 1.8.0-242?

1

BeakerX enables interactive use of Java libraries, but it turns out that a non-public library I am using does not work with Java 1.8.0-121. Why BeakerX does not use version...

It would be very useful to have the %import magic from the Groovy kernel in the Java kernel.