Opened 11 years ago

Closed 2 years ago

#12451 closed enhancement (invalid)

Syntax highlighting for notebook debugger

Reported by: whuss Owned by: jason, mpatel, was
Priority: minor Milestone: sage-duplicate/invalid/wontfix
Component: notebook Keywords:
Cc: chapoton Merged in:
Authors: Wilfried Huss Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

This adds syntax highlighting for the notebook debugger of ticket #7509.

Depends on patch attachment:trac_7509.5.patch:ticket:7509​.

For reasons of speed only a small part of the source code around the current position is loaded and highlighted. We detect when the code fragment starts in the middle of a docstring to ensure correct highlighting in this case.

Attachments (1)

trac_12451.patch​ (8.0 KB) - added by whuss 11 years ago.

Download all attachments as: .zip

Change History (11)

Changed 11 years ago by whuss

Attachment: trac_12451.patch​ added

comment:1 Changed 11 years ago by whuss

Status: new → needs_review

comment:2 Changed 11 years ago by jdemeyer

Please fill in your real name as Author.

comment:3 Changed 11 years ago by whuss

Authors: → Wilfried Huss

comment:4 Changed 10 years ago by kcrisman

Status: needs_review → needs_work

Needs rebase, and probably an upstream request...

comment:5 Changed 9 years ago by jdemeyer

Milestone: sage-5.11 → sage-5.12

comment:6 Changed 9 years ago by vbraun_spam

Milestone: sage-6.1 → sage-6.2

comment:7 Changed 9 years ago by vbraun_spam

Milestone: sage-6.2 → sage-6.3

comment:8 Changed 8 years ago by vbraun_spam

Milestone: sage-6.3 → sage-6.4

comment:9 Changed 2 years ago by mkoeppe

Cc: chapoton added
Milestone: sage-6.4 → sage-duplicate/invalid/wontfix
Status: needs_work → needs_review

Proposing to close all sagenb tickets as outdated, so that all remaining open tickets in the notebook component are about the Jupyter notebook.

comment:10 Changed 2 years ago by chapoton

Resolution: → invalid
Status: needs_review → closed
Note: See TracTickets for help on using tickets.