GitHub · Where software is built

Labels Milestones New issue

when editing a shell script, have a "run button"

I-feature request

#7971

· williamstein opened

on Oct 20, 2024

readonly open markdown and html files

#6091

· haraldschilly opened

on Aug 23, 2022

make it possible to customize indentation for specific type of file

I-feature request

#5976

· williamstein opened

on Jun 2, 2022

catch __save_local_view_state throwing "The quota has been exceeded"

#5642

· haraldschilly opened

on Jan 11, 2022

remember editor choice for a specific file between sessions

I-feature request

#5130

· williamstein opened

on Dec 25, 2020

unknown files editor: handle missing extensions

#5121

· haraldschilly opened

on Dec 23, 2020

create a command-line editor command (or option to "open") that is blocking until the tab is closed (and says so)

I-feature request

#4437

· williamstein opened

on Mar 6, 2020

Editors : color themes

#3383

· JCBustamante opened

on Nov 30, 2018

Latex editor : language settings

#3382

· JCBustamante opened

on Nov 30, 2018

tab completion sub-sequence matching

#3157

· haraldschilly opened

on Sep 8, 2018

read-only "view" mode for worksheet/notebook files

#2699

· haraldschilly opened

on Feb 9, 2018

iPad issue: command+s and control+s to save in editors does nothing

#2096

· williamstein opened

on Jun 14, 2017