Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 27, 2024

• Update CodeEditor.swift

  Show description for 6278a0f
  ocapmycap

  authored
  6278a0f

  Copy full SHA for 6278a0f

Commits on Jun 21, 2024

• Messages now use `AttributedString`s

  mchakravarty

  committed
  bdb3c24

  Copy full SHA for bdb3c24

• Support message description updates

  Show description for 3914c26
  mchakravarty

  committed
  3914c26

  Copy full SHA for 3914c26

Commits on Jun 17, 2024

• Improve redrawing of rendering attributes

  Show description for 6d0e20c
  mchakravarty

  committed
  6d0e20c

  Copy full SHA for 6d0e20c

Commits on Jun 16, 2024

• Improve tokenisation

  Show description for b63a8cd
  mchakravarty

  committed
  b63a8cd

  Copy full SHA for b63a8cd

Commits on Jun 15, 2024

• Update token tests

  mchakravarty

  committed
  3f63498

  Copy full SHA for 3f63498

Commits on Jun 13, 2024

• Update messages only if changed (iOS)

  mchakravarty

  committed
  166d8c3

  Copy full SHA for 166d8c3

• Only update messages when they changed

  mchakravarty

  committed
  22d37da

  Copy full SHA for 22d37da

Commits on Jun 12, 2024

• Refine the work around for rendering attributes

  mchakravarty

  committed
  9993147

  Copy full SHA for 9993147

Commits on May 27, 2024

• Workaround for Text layout manager problem

  Show description for cd77c2d
  mchakravarty

  committed
  cd77c2d

  Copy full SHA for cd77c2d

Commits on May 26, 2024

• Improve propagation of text changes

  Show description for 00c6e39
  mchakravarty

  committed
  00c6e39

  Copy full SHA for 00c6e39

Commits on May 22, 2024

• Fix message propagation

  Show description for f864c52
  mchakravarty

  committed
  f864c52

  Copy full SHA for f864c52

Commits on May 12, 2024

• Support invalidated messages

  Show description for 305f9ff
  mchakravarty

  committed
  305f9ff

  Copy full SHA for 305f9ff

Commits on May 10, 2024

• Add telescopes for messages

  Show description for 23ce583
  mchakravarty

  committed
  23ce583

  Copy full SHA for 23ce583

Commits on May 9, 2024

• Message cateory for holes

  Show description for 002337a
  mchakravarty

  committed
  002337a

  Copy full SHA for 002337a

Commits on May 7, 2024

• Add trigger to signal break undo coalescing

  mchakravarty

  committed
  393c2b9

  Copy full SHA for 393c2b9

Commits on May 6, 2024

• wibble

  mchakravarty

  committed
  025e54e

  Copy full SHA for 025e54e

Commits on May 5, 2024

• Make LayoutConfiguration RawRepresentable

  mchakravarty

  committed
  6558e3f

  Copy full SHA for 6558e3f

• Optimisation

  mchakravarty

  committed
  57e642d

  Copy full SHA for 57e642d

Commits on Apr 2, 2024

• Themes: more colour differentation for identifiers

  mchakravarty

  committed
  6fae720

  Copy full SHA for 6fae720

Commits on Apr 1, 2024

• Wibble

  mchakravarty

  committed
  71fb9b0

  Copy full SHA for 71fb9b0

• LanguageSupport: add support for events

  mchakravarty

  committed
  0ca133a

  Copy full SHA for 0ca133a

Commits on Mar 25, 2024

• Extend language service actions

  Show description for 91a17f0
  mchakravarty

  committed
  91a17f0

  Copy full SHA for 91a17f0

Commits on Mar 20, 2024

• Fix keywords and optional brackets

  mchakravarty

  committed
  78cb412

  Copy full SHA for 78cb412

Commits on Mar 19, 2024

• First cut at Agda language configuration

  Show description for ce8af19
  mchakravarty

  committed
  ce8af19

  Copy full SHA for ce8af19

• Ensure longest single lexeme tokens are matched

  mchakravarty

  committed
  f9062f5

  Copy full SHA for f9062f5

• Correct token ranges of `Substring`s

  mchakravarty

  committed
  9ecdc78

  Copy full SHA for 9ecdc78

• Symbol and operator support

  Show description for 5f4b24c
  mchakravarty

  committed
  5f4b24c

  Copy full SHA for 5f4b24c

Commits on Mar 18, 2024

• Language configurations use Regex

  Show description for ee16390
  mchakravarty

  committed
  ee16390

  Copy full SHA for ee16390

Commits on Mar 17, 2024

• Language configuration based on Regex

  Show description for 633f5a1
  mchakravarty

  committed
  633f5a1

  Copy full SHA for 633f5a1

Commits on Mar 8, 2024

• Move the Tokeniser to Regex

  Show description for 01cb669
  mchakravarty

  committed
  01cb669

  Copy full SHA for 01cb669

Commits on Feb 13, 2024

• Update README.md

  mchakravarty

  authored
  13ecb15

  Copy full SHA for 13ecb15

Commits on Feb 12, 2024

• Bit more redrawing

  Show description for 8f9dfc7
  mchakravarty

  committed
  8f9dfc7

  Copy full SHA for 8f9dfc7

• CodeContentStorage for attribute invalidation

  Show description for dd2a4cc
  mchakravarty

  committed
  dd2a4cc

  Copy full SHA for dd2a4cc

Commits on Feb 5, 2024

• Fix inset on visionOS

  Show description for 49c1757
  mchakravarty

  committed
  49c1757

  Copy full SHA for 49c1757

Pagination

Previous

Next