GitHub · Where software is built

Support varying character widths
#460 · fjakobs opened on Oct 11, 2011
29

Labels Milestones New issue

Initial event with id null (if first action is pasting when something is already selected)

#5728

· david04 opened

on Jan 27, 2025

Update selected text area at the user's refresh rate

feature-request

#5716

· thennothinghappened opened

on Jan 11, 2025

How to achieve custom highlighting of dynamic keywords?

#5696

· yyhack110 opened

on Dec 13, 2024

completer: popup positioning is wrong for transformed editor

#5688

· Totodore opened

on Nov 29, 2024

Column Selection on Drag etc

feature-request

#5667

· MarketingPip opened

on Nov 7, 2024

Ability to instantiate editor without theme

feature-request

#5576

· dimovpetar opened

on Jun 3, 2024

Gutter tooltip position inside container

#5520

· alitan opened

on Mar 24, 2024

BackgroundTokenizer: State comparison should not be via string compare

#5458

· dhakehurst opened

on Jan 8, 2024

Proper Print Support.

feature-request

#5411

· MarketingPip opened

on Dec 5, 2023

Sticky Scroll

feature-request

#5341

· mmackh opened

on Oct 3, 2023

Android remove event

good first issue

#5304

· Cl0ser01 opened

on Sep 5, 2023

Replace CSS Lint with Stylelint

feature-request

#4946

· adamjimenez opened

on Oct 9, 2022