Rubén Rincón Blanco 7a9e30fbad Improve the TS implementation of the cfg view (#3549) ...

* Improve the TS implementation of the cfg view

* Change function name as suggested

2022-04-29 06:12:11 +02:00

..

api

Also enable prettier for recursive directories in static (#3539)

2022-04-24 19:11:48 +02:00

generated

Improvements to policy handling (#3595)

2022-04-28 15:19:06 -05:00

modes

Move static/modes/_all.js to TypeScript (#3540)

2022-04-24 20:54:58 +02:00

panes

Improve the TS implementation of the cfg view (#3549)

2022-04-29 06:12:11 +02:00

tests

Also enable prettier for recursive directories in static (#3539)

2022-04-24 19:11:48 +02:00

themes

Added dark theme styling for modal close buttons (#3537)

2022-04-22 07:44:55 +02:00

widgets

Remove unecessary jquery imports in ts files (#3576)

2022-04-27 05:48:05 +02:00

.eslint-ce-static.yml

Make eslint work on static ts files (#3304)

2022-02-03 18:04:50 +01:00

.eslintrc.js

Improve the TS implementation of the Tree pane (#3577)

2022-04-29 06:11:23 +02:00

.gitignore

Separate s3 and local. Implement some Matt ideas

2018-08-05 02:48:37 +02:00

.prettierrc.js

Set comma-dangle to always in server code and es5 in client code

2022-04-26 05:26:48 +02:00

alert.interfaces.ts

Enable Prettier for TypeScript frontend (#3524)

2022-04-20 22:39:10 +02:00

alert.ts

Remove unecessary jquery imports in ts files (#3576)

2022-04-27 05:48:05 +02:00

analytics.ts

Enable Prettier for TypeScript frontend (#3524)

2022-04-20 22:39:10 +02:00

ansi-to-html.interfaces.ts

Convert ansi-to-html.js to typescript (#2988)

2021-10-04 22:29:41 -05:00

ansi-to-html.ts

Enable Prettier for TypeScript frontend (#3524)

2022-04-20 22:39:10 +02:00

codelens-handler.ts

Enable Prettier for TypeScript frontend (#3524)

2022-04-20 22:39:10 +02:00

colour.ts

Enable Prettier for TypeScript frontend (#3524)

2022-04-20 22:39:10 +02:00

colours.scss

Added rainbow-dark theme (#2811)

2021-07-27 12:42:07 +02:00

compiler-picker.ts

Enable Prettier for TypeScript frontend (#3524)

2022-04-20 22:39:10 +02:00

compiler-service.js

Replace CommonJS default exports with named exports (#3021)

2021-10-12 11:30:10 +02:00

components.js

add a view for Haskell STG intermediary output #3571 (#3585)

2022-04-28 09:53:11 -05:00

event-hub.ts

Import sentry correctly (#3574)

2022-04-26 16:08:08 -05:00

explorer.scss

Improved cursor position display for light mode (#3434)

2022-03-17 04:04:42 +01:00

favicon.ico

Move back to actual real ICOs for favicon

2018-02-23 09:51:18 -06:00

formatter-registry.ts

Enable Prettier for TypeScript frontend (#3524)

2022-04-20 22:39:10 +02:00

global.ts

Enable Prettier for TypeScript frontend (#3524)

2022-04-20 22:39:10 +02:00

history.ts

Enable Prettier for TypeScript frontend (#3524)

2022-04-20 22:39:10 +02:00

hub.ts

Improve the TS implementation of the Tree pane (#3577)

2022-04-29 06:11:23 +02:00

identifier-set.ts

Move Ids out of hub.js (#3462)

2022-03-24 12:00:17 +01:00

lib-utils.ts

Enable Prettier for TypeScript frontend (#3524)

2022-04-20 22:39:10 +02:00

line-colouring.ts

Enable Prettier for TypeScript frontend (#3524)

2022-04-20 22:39:10 +02:00

local.ts

Enable Prettier for TypeScript frontend (#3524)

2022-04-20 22:39:10 +02:00

main.js

Improvements to policy handling (#3595)

2022-04-28 15:19:06 -05:00

monaco-config.ts

Enable Prettier for TypeScript frontend (#3524)

2022-04-20 22:39:10 +02:00

motd.interfaces.ts

Enable Prettier for TypeScript frontend (#3524)

2022-04-20 22:39:10 +02:00

motd.ts

Remove unecessary jquery imports in ts files (#3576)

2022-04-27 05:48:05 +02:00

multifile-service.ts

Enable Prettier for TypeScript frontend (#3524)

2022-04-20 22:39:10 +02:00

noscript.scss

Upgrade to vis-network

2022-01-31 22:06:41 -06:00

noscript.ts

Re-add removed jquery import in noscript.ts (#3578)

2022-04-27 08:32:55 +02:00

options.interfaces.ts

Correction to #3525 (#3542)

2022-04-23 04:06:15 +02:00

options.ts

Add strict tsc flag for the frontend ts code (#3356)

2022-02-12 02:41:01 +01:00

presentation.ts

Move static/presentation.js to TypeScript (#3395)

2022-02-23 20:26:24 +00:00

rison.js

Cleanup some code

2018-03-19 03:53:15 +01:00

settings.ts

Enable Prettier for TypeScript frontend (#3524)

2022-04-20 22:39:10 +02:00

sharing.ts

Remove unecessary jquery imports in ts files (#3576)

2022-04-27 05:48:05 +02:00

themes.ts

Enable Prettier for TypeScript frontend (#3524)

2022-04-20 22:39:10 +02:00

tsconfig.json

Make it possible to share types in /types directory between front and backend (#3211)

2021-12-28 15:53:34 +01:00

url.ts

Enable Prettier for TypeScript frontend (#3524)

2022-04-20 22:39:10 +02:00

utils.ts

Add strict tsc flag for the frontend ts code (#3356)

2022-02-12 02:41:01 +01:00