Rubén Rincón Blanco 9b1ecf67ba Make Ctrl-A in output pane only select its contents (#3608) ...

* Make Ctrl-A in output pane only select its contents

* Add Select all button to output pane

2022-05-04 14:46:36 +02:00

..

api

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

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

generated

fix linking to commits in the changelog (#3611)

2022-04-30 10:22:53 -05:00

modes

Address some low-hanging fruits from webstorm code inspection (#3582)

2022-04-29 14:24:29 -05:00

panes

Make Ctrl-A in output pane only select its contents (#3608)

2022-05-04 14:46:36 +02:00

tests

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

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

themes

Address some low-hanging fruits from webstorm code inspection (#3582)

2022-04-29 14:24:29 -05:00

widgets

Address some low-hanging fruits from webstorm code inspection (#3582)

2022-04-29 14:24:29 -05: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

handle vt100 reverse video escape code (#3598)

2022-04-29 14:14:03 -05: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

Address some low-hanging fruits from webstorm code inspection (#3582)

2022-04-29 14:24:29 -05:00

compiler-service.js

Replace CommonJS default exports with named exports (#3021)

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

components.js

Add GHC Core and Cmm views #3571 (#3593)

2022-05-04 14:28:49 +02:00

event-hub.ts

Import sentry correctly (#3574)

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

explorer.scss

Make Ctrl-A in output pane only select its contents (#3608)

2022-05-04 14:46:36 +02:00

favicon.ico

Move back to actual real ICOs for favicon

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

formatter-registry.ts

Address some low-hanging fruits from webstorm code inspection (#3582)

2022-04-29 14:24:29 -05: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

Add GHC Core and Cmm views #3571 (#3593)

2022-05-04 14:28:49 +02:00

identifier-set.ts

Move Ids out of hub.js (#3462)

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

lib-utils.ts

Address some low-hanging fruits from webstorm code inspection (#3582)

2022-04-29 14:24:29 -05: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

Address some low-hanging fruits from webstorm code inspection (#3582)

2022-04-29 14:24:29 -05: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

Address some low-hanging fruits from webstorm code inspection (#3582)

2022-04-29 14:24:29 -05: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

Address some low-hanging fruits from webstorm code inspection (#3582)

2022-04-29 14:24:29 -05: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

Address some low-hanging fruits from webstorm code inspection (#3582)

2022-04-29 14:24:29 -05:00