{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":368609018,"defaultBranch":"main","name":"CodeEditorView","ownerLogin":"mchakravarty","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-05-18T17:09:01.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/709989?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1707843621.0","currentOid":""},"activityList":{"items":[{"before":"cd77c2d164466506b064fa6208bae31a18608224","after":"99931470481210a40b05f6514943076881b14d8a","ref":"refs/heads/main","pushedAt":"2024-06-12T16:11:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mchakravarty","name":"Manuel M T Chakravarty","path":"/mchakravarty","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/709989?s=80&v=4"},"commit":{"message":"Refine the work around for rendering attributes","shortMessageHtmlLink":"Refine the work around for rendering attributes"}},{"before":"00c6e397a313e51e3d54122592d4f514b44a732a","after":"cd77c2d164466506b064fa6208bae31a18608224","ref":"refs/heads/main","pushedAt":"2024-05-27T20:12:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mchakravarty","name":"Manuel M T Chakravarty","path":"/mchakravarty","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/709989?s=80&v=4"},"commit":{"message":"Workaround for Text layout manager problem\n\nFixes #101","shortMessageHtmlLink":"Workaround for Text layout manager problem"}},{"before":"f864c5270d025c4e854b28956660e6151608e247","after":"00c6e397a313e51e3d54122592d4f514b44a732a","ref":"refs/heads/main","pushedAt":"2024-05-26T13:53:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mchakravarty","name":"Manuel M T Chakravarty","path":"/mchakravarty","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/709989?s=80&v=4"},"commit":{"message":"Improve propagation of text changes\n\nIn order to correctly propagate changes to the text storage during key sequences needed to enter characters with diacritics, we need to trigger propagation from `NSTextStorageDelegate`.\n\nContributes to #101","shortMessageHtmlLink":"Improve propagation of text changes"}},{"before":"305f9ffc20277949ff4b5656266fe2947ebf8231","after":"f864c5270d025c4e854b28956660e6151608e247","ref":"refs/heads/main","pushedAt":"2024-05-22T16:17:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mchakravarty","name":"Manuel M T Chakravarty","path":"/mchakravarty","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/709989?s=80&v=4"},"commit":{"message":"Fix message propagation\n\nMessage need to be propagated down and also up from the language server.","shortMessageHtmlLink":"Fix message propagation"}},{"before":"23ce58333b172095b58f19fdbfe579a0e676e31e","after":"305f9ffc20277949ff4b5656266fe2947ebf8231","ref":"refs/heads/main","pushedAt":"2024-05-12T19:26:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mchakravarty","name":"Manuel M T Chakravarty","path":"/mchakravarty","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/709989?s=80&v=4"},"commit":{"message":"Support invalidated messages\n\nInstead of deleteing messages directly on buffer changes, we invalidate them (colour changes to grey).\n\nThis gives the user more time to inspect, while also making it clear that the messages are somewhat outdated.\n\nCloses #73","shortMessageHtmlLink":"Support invalidated messages"}},{"before":"002337abb5f7404bef4509f1e7a1fc7773c2caa8","after":"23ce58333b172095b58f19fdbfe579a0e676e31e","ref":"refs/heads/main","pushedAt":"2024-05-10T15:22:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mchakravarty","name":"Manuel M T Chakravarty","path":"/mchakravarty","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/709989?s=80&v=4"},"commit":{"message":"Add telescopes for messages\n\nCloses #103","shortMessageHtmlLink":"Add telescopes for messages"}},{"before":"393c2b92bee3f3370991d285e67b74a2eb0317bc","after":"002337abb5f7404bef4509f1e7a1fc7773c2caa8","ref":"refs/heads/main","pushedAt":"2024-05-09T17:00:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mchakravarty","name":"Manuel M T Chakravarty","path":"/mchakravarty","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/709989?s=80&v=4"},"commit":{"message":"Message cateory for holes\n\nContributes to #104","shortMessageHtmlLink":"Message cateory for holes"}},{"before":"025e54eb91fc0cc26b1aa6a3634a4e9f6cdb2e32","after":"393c2b92bee3f3370991d285e67b74a2eb0317bc","ref":"refs/heads/main","pushedAt":"2024-05-07T19:51:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mchakravarty","name":"Manuel M T Chakravarty","path":"/mchakravarty","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/709989?s=80&v=4"},"commit":{"message":"Add trigger to signal break undo coalescing","shortMessageHtmlLink":"Add trigger to signal break undo coalescing"}},{"before":"6558e3f94f61ab88cfc80718c6a674e50651168d","after":"025e54eb91fc0cc26b1aa6a3634a4e9f6cdb2e32","ref":"refs/heads/main","pushedAt":"2024-05-06T17:38:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mchakravarty","name":"Manuel M T Chakravarty","path":"/mchakravarty","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/709989?s=80&v=4"},"commit":{"message":"wibble","shortMessageHtmlLink":"wibble"}},{"before":"57e642dbe5b4202b2cbee8926290d8b2454a6d33","after":"6558e3f94f61ab88cfc80718c6a674e50651168d","ref":"refs/heads/main","pushedAt":"2024-05-05T21:29:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mchakravarty","name":"Manuel M T Chakravarty","path":"/mchakravarty","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/709989?s=80&v=4"},"commit":{"message":"Make LayoutConfiguration RawRepresentable","shortMessageHtmlLink":"Make LayoutConfiguration RawRepresentable"}},{"before":"6fae7200940750d90a8af5b570732f3ef57ad691","after":"57e642dbe5b4202b2cbee8926290d8b2454a6d33","ref":"refs/heads/main","pushedAt":"2024-05-05T21:28:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mchakravarty","name":"Manuel M T Chakravarty","path":"/mchakravarty","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/709989?s=80&v=4"},"commit":{"message":"Optimisation","shortMessageHtmlLink":"Optimisation"}},{"before":"71fb9b0c019350739d791228e71e2cfb5d07e683","after":"6fae7200940750d90a8af5b570732f3ef57ad691","ref":"refs/heads/main","pushedAt":"2024-04-02T19:30:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mchakravarty","name":"Manuel M T Chakravarty","path":"/mchakravarty","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/709989?s=80&v=4"},"commit":{"message":"Themes: more colour differentation for identifiers","shortMessageHtmlLink":"Themes: more colour differentation for identifiers"}},{"before":"0ca133a33614da455718379085c2c3284353ac68","after":"71fb9b0c019350739d791228e71e2cfb5d07e683","ref":"refs/heads/main","pushedAt":"2024-04-01T20:21:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mchakravarty","name":"Manuel M T Chakravarty","path":"/mchakravarty","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/709989?s=80&v=4"},"commit":{"message":"Wibble","shortMessageHtmlLink":"Wibble"}},{"before":"91a17f0b345d1668eb64b76ed3fc869cd93abf5d","after":"0ca133a33614da455718379085c2c3284353ac68","ref":"refs/heads/main","pushedAt":"2024-04-01T19:17:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mchakravarty","name":"Manuel M T Chakravarty","path":"/mchakravarty","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/709989?s=80&v=4"},"commit":{"message":"LanguageSupport: add support for events","shortMessageHtmlLink":"LanguageSupport: add support for events"}},{"before":"78cb41287f792095421812e9e65773adeab92bff","after":"91a17f0b345d1668eb64b76ed3fc869cd93abf5d","ref":"refs/heads/main","pushedAt":"2024-03-25T17:45:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mchakravarty","name":"Manuel M T Chakravarty","path":"/mchakravarty","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/709989?s=80&v=4"},"commit":{"message":"Extend language service actions\n\n* Actions of the language service now also specify the language of the service.\n* Moreover, we now support language-specific extra actions.","shortMessageHtmlLink":"Extend language service actions"}},{"before":"ce8af19b40cf97a361e22e4f0323f0ae7ba1916a","after":"78cb41287f792095421812e9e65773adeab92bff","ref":"refs/heads/main","pushedAt":"2024-03-21T16:08:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mchakravarty","name":"Manuel M T Chakravarty","path":"/mchakravarty","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/709989?s=80&v=4"},"commit":{"message":"Fix keywords and optional brackets","shortMessageHtmlLink":"Fix keywords and optional brackets"}},{"before":"f9062f587eb37f92ba768fdd50e59a9c63587ceb","after":"ce8af19b40cf97a361e22e4f0323f0ae7ba1916a","ref":"refs/heads/main","pushedAt":"2024-03-19T21:25:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mchakravarty","name":"Manuel M T Chakravarty","path":"/mchakravarty","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/709989?s=80&v=4"},"commit":{"message":"First cut at Agda language configuration\n\nContributes to #72","shortMessageHtmlLink":"First cut at Agda language configuration"}},{"before":"ee163907718987fbbe86355672077786943b8262","after":"f9062f587eb37f92ba768fdd50e59a9c63587ceb","ref":"refs/heads/main","pushedAt":"2024-03-19T21:24:37.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"mchakravarty","name":"Manuel M T Chakravarty","path":"/mchakravarty","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/709989?s=80&v=4"},"commit":{"message":"Ensure longest single lexeme tokens are matched","shortMessageHtmlLink":"Ensure longest single lexeme tokens are matched"}},{"before":"633f5a1d258f838092335e98b90dc62794b280a8","after":"ee163907718987fbbe86355672077786943b8262","ref":"refs/heads/main","pushedAt":"2024-03-18T16:18:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mchakravarty","name":"Manuel M T Chakravarty","path":"/mchakravarty","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/709989?s=80&v=4"},"commit":{"message":"Language configurations use Regex\n\nCloses #100","shortMessageHtmlLink":"Language configurations use Regex"}},{"before":"01cb669f8ca4de7f41479055d9b9da036b7b0a05","after":"633f5a1d258f838092335e98b90dc62794b280a8","ref":"refs/heads/main","pushedAt":"2024-03-17T20:20:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mchakravarty","name":"Manuel M T Chakravarty","path":"/mchakravarty","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/709989?s=80&v=4"},"commit":{"message":"Language configuration based on Regex\n\nContributes to #100","shortMessageHtmlLink":"Language configuration based on Regex"}},{"before":"13ecb15e9017a025e340359dadacf471913e91b1","after":"01cb669f8ca4de7f41479055d9b9da036b7b0a05","ref":"refs/heads/main","pushedAt":"2024-03-08T13:16:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mchakravarty","name":"Manuel M T Chakravarty","path":"/mchakravarty","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/709989?s=80&v=4"},"commit":{"message":"Move the Tokeniser to Regex\n\nContributes to #100","shortMessageHtmlLink":"Move the Tokeniser to Regex"}},{"before":"8f9dfc7dfdcea5d4d6b39f1d9360c28465e928b9","after":"13ecb15e9017a025e340359dadacf471913e91b1","ref":"refs/heads/main","pushedAt":"2024-02-13T16:51:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mchakravarty","name":"Manuel M T Chakravarty","path":"/mchakravarty","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/709989?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"dd2a4ccdd4e14576b7502ab4df00f579f293f768","after":"8f9dfc7dfdcea5d4d6b39f1d9360c28465e928b9","ref":"refs/heads/main","pushedAt":"2024-02-12T17:25:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mchakravarty","name":"Manuel M T Chakravarty","path":"/mchakravarty","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/709989?s=80&v=4"},"commit":{"message":"Bit more redrawing\n\nContributes to #99","shortMessageHtmlLink":"Bit more redrawing"}},{"before":"49c1757d2aa1fb94d0977ecf90b4d3869801710d","after":"dd2a4ccdd4e14576b7502ab4df00f579f293f768","ref":"refs/heads/main","pushedAt":"2024-02-12T15:22:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mchakravarty","name":"Manuel M T Chakravarty","path":"/mchakravarty","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/709989?s=80&v=4"},"commit":{"message":"CodeContentStorage for attribute invalidation\n\nInvalidation of rendering attributes now happens in a new subclass of `NSTextContentStorage`: `CodeContentStorage`.\n\nThis comment also improves the redrawing behaviour of the minimap, but doesn’t solve the redrawing issues completely — see also [Note Minimap Redraw Voodoo].\n\nContributes to #98","shortMessageHtmlLink":"CodeContentStorage for attribute invalidation"}},{"before":"0653e7bdde5bd43aa3821b92b417a3bb8b5afa6b","after":"49c1757d2aa1fb94d0977ecf90b4d3869801710d","ref":"refs/heads/main","pushedAt":"2024-02-05T16:37:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mchakravarty","name":"Manuel M T Chakravarty","path":"/mchakravarty","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/709989?s=80&v=4"},"commit":{"message":"Fix inset on visionOS\n\nand scrolling of the minimap on iOS and visionOS.\n\nContributes to #98","shortMessageHtmlLink":"Fix inset on visionOS"}},{"before":"fce45f129a2d2595075ef08390c04cb438569f52","after":"0653e7bdde5bd43aa3821b92b417a3bb8b5afa6b","ref":"refs/heads/main","pushedAt":"2024-02-05T16:10:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mchakravarty","name":"Manuel M T Chakravarty","path":"/mchakravarty","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/709989?s=80&v=4"},"commit":{"message":"Mention visionOS in README","shortMessageHtmlLink":"Mention visionOS in README"}},{"before":"862ca2a0796b71ec3f670780c8aed53c90e93924","after":"fce45f129a2d2595075ef08390c04cb438569f52","ref":"refs/heads/main","pushedAt":"2024-02-05T16:04:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mchakravarty","name":"Manuel M T Chakravarty","path":"/mchakravarty","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/709989?s=80&v=4"},"commit":{"message":"Support building for visionOS\n\nContributes to #98","shortMessageHtmlLink":"Support building for visionOS"}},{"before":"b0fe294ee4e3893b815d9d651bb0e2a9b824dbcf","after":"862ca2a0796b71ec3f670780c8aed53c90e93924","ref":"refs/heads/main","pushedAt":"2024-02-04T20:01:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mchakravarty","name":"Manuel M T Chakravarty","path":"/mchakravarty","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/709989?s=80&v=4"},"commit":{"message":"Fix empty document\n\nFix line numbers and line highlight for the empty document as well as some other corner cases.\n\nFixes #97","shortMessageHtmlLink":"Fix empty document"}},{"before":"d288c11462df5a6c27665da0f94b2e763fa578c8","after":"b0fe294ee4e3893b815d9d651bb0e2a9b824dbcf","ref":"refs/heads/main","pushedAt":"2024-02-03T19:22:46.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"mchakravarty","name":"Manuel M T Chakravarty","path":"/mchakravarty","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/709989?s=80&v=4"},"commit":{"message":"Fix initial display of minimap","shortMessageHtmlLink":"Fix initial display of minimap"}},{"before":"8c0cb8f776ff0890f96272e913a1b8fac89dd218","after":"d288c11462df5a6c27665da0f94b2e763fa578c8","ref":"refs/heads/main","pushedAt":"2024-01-30T16:23:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mchakravarty","name":"Manuel M T Chakravarty","path":"/mchakravarty","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/709989?s=80&v=4"},"commit":{"message":"Use rendering attributes for syntax hightlighting\n\nInstead of synthesising highlighting attributes on the fly (in `CodeStorage`), we now use TextKit 2 rendering attributes for syntax highlighting. Moreover, we use a new drawing system for the minimap, which leads to better visuals and is more efficient.\n\nContributes to #85\nFixes #51","shortMessageHtmlLink":"Use rendering attributes for syntax hightlighting"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEY4XAvQA","startCursor":null,"endCursor":null}},"title":"Activity · mchakravarty/CodeEditorView"}