profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/mchakravarty/events. GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.
Manuel M T Chakravarty mchakravarty Utrecht http://justtesting.org/ Lambda Scientist

benl23x5/gloss 335

Painless 2D vector graphics, animations and simulations.

mchakravarty/CodeEditorView 264

SwiftUI code editor view for iOS and macOS

mchakravarty/BigPixel 139

Pixel art for games

jspahrsummers/ObjectiveHaskell 94

Tools for making it easier to integrate Haskell and Objective-C.

input-output-hk/plutus-metatheory 11

Mechanised meta theory for Plutus Core (DEPRECATED - MOVED to plutus)

benl23x5/bmp 8

Read and write uncompressed BMP image files

mchakravarty/CodeEditorDemo 7

Demo app for CodeEditorView

mchakravarty/fp-in-swift 7

Support material for "Functional Programming in Swift" @ Functional Conf, Bangalore, 2017

haskellformac/GHCframework 6

GHC wrapped into a framework to be used in Cocoa applications

mchakravarty/accelerate-agda 6

Accelerate in Agda

push eventmchakravarty/CodeEditorView

Manuel M T Chakravarty

commit sha 73c03acfe2af3e136410ecbce9861cbda1bc8ef4

Expose internals of `Theme` Fixes #37

view details

push time in 5 days

issue closedmchakravarty/CodeEditorView

Changing font size

If I want to change the default font size, what is the best way to do that? I tried to create a new theme with a different font size to pass into the CodeEditor call, but I get

'Theme' initializer is inaccessible due to 'internal' protection level

I don't see any other obvious way to make that change.

Thanks

closed time in 5 days

frios

issue commentmchakravarty/CodeEditorView

Changing font size

Sorry for the late response. I have now made the components of Theme public (it was an oversight that I didn't do that right away). The properties are now also mutable; i.e., you can simply change the font size of an existing theme if that is what you want (or you create a new one). I hope this helps.

frios

comment created time in 5 days

push eventmchakravarty/CodeEditorView

Manuel M T Chakravarty

commit sha db010824512a94b56e2b79488f1e096faef7013d

Wibble

view details

push time in 5 days

push eventmchakravarty/CodeEditorView

Manuel M T Chakravarty

commit sha a5f1534877b9138bfc19a33ea6d4ecc5ce9d5067

Fix two further theme access points

view details

push time in 5 days

push eventmchakravarty/CodeEditorView

Christopher Weems

commit sha 02960839ad3e316163a3a512a3bf1696ee6de5c2

Fix warnings for access to environment theme via EnvironmentKey subscript without `.self`

view details

Manuel M T Chakravarty

commit sha ab59c4947f0bb1d480b6e6efa86173a245af9236

Merge pull request #39 from christopherweems/main Fix warnings for access of theme from environment

view details

push time in 5 days

PR merged mchakravarty/CodeEditorView

Fix warnings for access of theme from environment

I've changed the accessor used to get the editor theme to EnvironmentValues.codeEditorTheme, which vends the same value. This avoids the warnings for not using CodeEditorTheme.self when accessing with the EnvironmentKey subscript on EnvironmentValues

+3 -3

1 comment

1 changed file

christopherweems

pr closed time in 5 days

pull request commentmchakravarty/CodeEditorView

Fix warnings for access of theme from environment

Thanks for that!

christopherweems

comment created time in 5 days

delete branch mchakravarty/CodeEditorView

delete branch : improve-language-configuration

delete time in a month

push eventmchakravarty/CodeEditorView

Manuel M T Chakravarty

commit sha 208d2838cb84e166487c815efa0e91967ffc5c4d

LanguageConfiguration: expose most helpers They get scoped and slightly more expressive names. (The names are still partially abbreviated; otherwise, the regular expressions just get too big, negatively affecting readability.)

view details

Manuel M T Chakravarty

commit sha 6f9ca4a22dd7006dab82356e3d7a63b92f7bcc6a

Add public initialiser for LanguageConfiguration * And some clean up

view details

Manuel M T Chakravarty

commit sha 638149b28abbeccacce7b718ea388032bef7e0b9

Merge remote-tracking branch 'origin/main' into improve-language-configuration # Conflicts: # Sources/CodeEditorView/GutterView.swift

view details

Manuel M T Chakravarty

commit sha 1961266893aefbf296c80451a740d2fc99d07847

Merge pull request #34 from mchakravarty/improve-language-configuration LanguageConfiguration: expose most helpers

view details

push time in a month

PR merged mchakravarty/CodeEditorView

LanguageConfiguration: expose most helpers

They get scoped and slightly more expressive names. (The names are still partially abbreviated; otherwise, the regular expressions just get too big, negatively affecting readability.)

+91 -64

5 comments

1 changed file

mchakravarty

pr closed time in a month

issue closedmchakravarty/CodeEditorView

New Language Support

Is there an easy way of adding new language support? I am really interested in using this library to support another language. Right now, it looks like the only way to do so is to change the LanguageConfiguration file. If that is true, it would be nice to be able to create an external file for my own language support that gets added to the existing language support. That way, anybody can create and submit language configurations to the project.

closed time in a month

frios

pull request commentmchakravarty/CodeEditorView

LanguageConfiguration: expose most helpers

This is working well. I need to familiarize myself with the source code better, but it is looking good. Thanks for the help. You might want to merge this with you main branch now.

Good to hear. I will merge it now.

mchakravarty

comment created time in a month

push eventmchakravarty/CodeEditorView

Manuel M T Chakravarty

commit sha 55cec3752d7481a0dc50e0acacbca2751f455e2c

Start adding LayoutConfiguration

view details

Manuel M T Chakravarty

commit sha f96eb248e5c175956603bca892e1be6c5fd11840

Add layout config making minimap configurable Contributes to #21

view details

Manuel M T Chakravarty

commit sha 2725e1fbbbe55fb197a208794d6dc2d37674f71b

Merge pull request #35 from mchakravarty/layout-configuration Layout configuration

view details

Manuel M T Chakravarty

commit sha db2453fdb23cab74d6121dfeee08214c5a6cd194

Deactivate font panel We don’t need it and it causes massive lag in some situations. Contributes to #13

view details

Manuel M T Chakravarty

commit sha 22270c4ac886691941f72f2ea26923a3e4a611dc

Fix iOS build

view details

Manuel M T Chakravarty

commit sha 3b06781e742968b45357cfaddfefeead3f358105

Remove accidental debug statement

view details

Manuel M T Chakravarty

commit sha a94098d0c0eab0607f09da6ea632f0570394fbc6

Gutter drawing waits for completed text layout

view details

Manuel M T Chakravarty

commit sha a68f192baec4647cc60c602b57c7b8b910416fa2

Further clean up gutter (re)drawing Contributes #2

view details

Manuel M T Chakravarty

commit sha ea51ba7fa5d82efe235e011c0601d49969b3e47b

Wibble

view details

Manuel M T Chakravarty

commit sha 2570b718224fbd9682d430a10f628ad355c5c8cf

Fix gutter invalidation Fixes #10

view details

Manuel M T Chakravarty

commit sha d3e1de91f67c4dc18757f86eec43c0cc59e5a3de

Fix iOS build

view details

Manuel M T Chakravarty

commit sha 638149b28abbeccacce7b718ea388032bef7e0b9

Merge remote-tracking branch 'origin/main' into improve-language-configuration # Conflicts: # Sources/CodeEditorView/GutterView.swift

view details

push time in a month

push eventmchakravarty/CodeEditorDemo

Manuel M T Chakravarty

commit sha 3fa438d9e0cd2866a9d041594330ce2b1d62173d

Update package version

view details

push time in 2 months

push eventmchakravarty/CodeEditorView

Manuel M T Chakravarty

commit sha d3e1de91f67c4dc18757f86eec43c0cc59e5a3de

Fix iOS build

view details

push time in 2 months

push eventmchakravarty/CodeEditorView

Manuel M T Chakravarty

commit sha ea51ba7fa5d82efe235e011c0601d49969b3e47b

Wibble

view details

Manuel M T Chakravarty

commit sha 2570b718224fbd9682d430a10f628ad355c5c8cf

Fix gutter invalidation Fixes #10

view details

push time in 2 months

issue closedmchakravarty/CodeEditorView

Gutter invalidation is too generous

Just moving the cursor one character seems to invalidate the entire visible gutter.

There is also an interaction with gutter invalidation and change management or similar that can lead to an endless loop (or at least, extreme slowness) during start up if there is a window with a large file open. Gutter invalidation happens async on the main thread, but on a large file that may run too early after all. In any case, it is fragile.

closed time in 2 months

mchakravarty

pull request commentmchakravarty/CodeEditorView

LanguageConfiguration: expose most helpers

I have incorporated this PR into my code. When I build my LanguageCoonfiguration extension, i get an error:

'LanguageConfiguration' initializer is inaccessible due to 'internal' protection level

Thanks, I forgot to add a public initialiser.

Also get an error in GutterView.swift line 294:

Cannot call value of non-function type 'Theme'

Sorry, after making the changes, I only tried compiling this branch on macOS and not iOS.

Both issues ought to be fixed by the last commit in this PR.

mchakravarty

comment created time in 2 months

push eventmchakravarty/CodeEditorView

Manuel M T Chakravarty

commit sha 6f9ca4a22dd7006dab82356e3d7a63b92f7bcc6a

Add public initialiser for LanguageConfiguration * And some clean up

view details

push time in 2 months

push eventmchakravarty/CodeEditorView

Manuel M T Chakravarty

commit sha a94098d0c0eab0607f09da6ea632f0570394fbc6

Gutter drawing waits for completed text layout

view details

Manuel M T Chakravarty

commit sha a68f192baec4647cc60c602b57c7b8b910416fa2

Further clean up gutter (re)drawing Contributes #2

view details

push time in 2 months

issue openedmchakravarty/CodeEditorView

Layer backed gutter view

Currently the redrawing of the gutter view lacks behind resizing operations because it needs to wait until the layout manager has finished laying out the text. This can be clearly observed when switching between fullscreen and windowed mode.

It should be possible to avoid this by using a CALayer appropriately. By continuing to use the last layer (in GutterView) until the recomputed layout allows us to draw a new layer, the gutter view ought to be able to handle animations, such as going into fullscreen, more elegantly.

created time in 2 months

push eventmchakravarty/CodeEditorDemo

Manuel M T Chakravarty

commit sha 5c24ec1b6a9fb01b1cc0544d07ef8b7b1e49030d

macOS: minimap can be switched on and off

view details

push time in 3 months

push eventmchakravarty/CodeEditorView

Manuel M T Chakravarty

commit sha 3b06781e742968b45357cfaddfefeead3f358105

Remove accidental debug statement

view details

push time in 3 months

push eventmchakravarty/CodeEditorView

Manuel M T Chakravarty

commit sha 22270c4ac886691941f72f2ea26923a3e4a611dc

Fix iOS build

view details

push time in 3 months

push eventmchakravarty/CodeEditorView

Manuel M T Chakravarty

commit sha db2453fdb23cab74d6121dfeee08214c5a6cd194

Deactivate font panel We don’t need it and it causes massive lag in some situations. Contributes to #13

view details

push time in 3 months

delete branch mchakravarty/CodeEditorView

delete branch : layout-configuration

delete time in 3 months

push eventmchakravarty/CodeEditorView

Manuel M T Chakravarty

commit sha 55cec3752d7481a0dc50e0acacbca2751f455e2c

Start adding LayoutConfiguration

view details

Manuel M T Chakravarty

commit sha f96eb248e5c175956603bca892e1be6c5fd11840

Add layout config making minimap configurable Contributes to #21

view details

Manuel M T Chakravarty

commit sha 2725e1fbbbe55fb197a208794d6dc2d37674f71b

Merge pull request #35 from mchakravarty/layout-configuration Layout configuration

view details

push time in 3 months