Rubén Rincón Blanco a92083a3a4 Adds some useful features for some people (#3081) ...

Closes #2974 and addresses a request made in Discord

2021-11-21 13:45:01 +01:00

..

modes

Temporarily fix security vulnerability in crystal-mode regex

2021-10-14 11:07:17 +02:00

panes

Adds some useful features for some people (#3081)

2021-11-21 13:45:01 +01:00

policies

Fix Privacy Policy wording.

2021-04-01 14:33:41 -05:00

themes

Some general UI touches (#2910)

2021-09-03 05:51:05 +02:00

.eslintrc.yml

Properly allow prettier pragma

2021-08-28 16:02:35 +02:00

.gitignore

Separate s3 and local. Implement some Matt ideas

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

alert.interfaces.ts

Ensure Alert.enterSomething's yes callback's type includes the answer (#3052)

2021-10-30 15:41:38 +02:00

alert.ts

Ensure Alert.enterSomething's yes callback's type includes the answer (#3052)

2021-10-30 15:41:38 +02:00

analytics.js

Add a way to ensure no tracking is done and now 3rd party is available

2021-10-26 20:31:38 +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

Replace CommonJS default exports with named exports (#3021)

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

changelog.html

Test automatic Travis changelog creation

2018-03-26 02:49:58 +02:00

codelens-handler.ts

Convert codelens-handler.js to typescript (#2990)

2021-10-04 22:49:16 -05:00

colour.ts

Make colour.ts take Record<number, number> and refactor it to drop underscore.js (#3054)

2021-10-30 15:41:58 +02:00

colours.scss

Added rainbow-dark theme (#2811)

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

compiler-picker.js

Replace CommonJS default exports with named exports (#3021)

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

compiler-service.js

Replace CommonJS default exports with named exports (#3021)

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

components.js

Initial support for GNAT specific debug output (#3000)

2021-10-13 19:59:26 +02:00

explorer.scss

Add current caret position to source pane

2021-09-04 17:06:28 +02:00

favicon.ico

Move back to actual real ICOs for favicon

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

fontscale.js

Replace CommonJS default exports with named exports (#3021)

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

formatter-registry.interfaces.ts

Actually use the setting style in the format api (#3091)

2021-11-07 23:27:26 +01:00

formatter-registry.ts

Actually use the setting style in the format api (#3091)

2021-11-07 23:27:26 +01:00

global.ts

Convert options.js to TypeScript (#2982)

2021-10-04 23:01:10 -05:00

history-widget.js

Replace CommonJS default exports with named exports (#3021)

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

history.js

Move static/sharing.js to TypeScript

2021-08-27 22:08:27 +02:00

hub.js

Initial support for GNAT specific debug output (#3000)

2021-10-13 19:59:26 +02:00

lib-utils.ts

Replace CommonJS default exports with named exports (#3021)

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

libs-widget-ext.js

Replace CommonJS default exports with named exports (#3021)

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

line-colouring.ts

bugfix

2021-10-30 23:53:10 +02:00

load-save.js

Await for things (#3086)

2021-10-31 15:31:45 -05:00

local.ts

Convert static/local.js to TypeScript (#3053)

2021-10-23 11:32:36 +02:00

main.js

Introduce whatwg-fetch as fetch polyfill (#3016)

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

monaco-config.ts

Properly type settings argument for monaco extendConfig() (#2935)

2021-09-21 20:10:11 +02:00

motd.js

Replace CommonJS default exports with named exports (#3021)

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

multifile-service.ts

Await for things (#3086)

2021-10-31 15:31:45 -05:00

noscript.js

Replace CommonJS default exports with named exports (#3021)

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

noscript.scss

Refactor theme system to apply them earlier in page load (#2249)

2020-10-02 06:56:46 -04:00

options.ts

Replace CommonJS default exports with named exports (#3021)

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

presentation.js

Add new eslint rules (#2121)

2020-08-04 16:39:02 -04:00

rison.js

Cleanup some code

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

settings.interfaces.ts

Adds some useful features for some people (#3081)

2021-11-21 13:45:01 +01:00

settings.js

Adds some useful features for some people (#3081)

2021-11-21 13:45:01 +01:00

sharing.ts

Replace CommonJS default exports with named exports (#3021)

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

simplecook.ts

Convert simplecook.js to typescript (#3010)

2021-10-12 11:50:33 +02:00

themes.js

Reassign my copyright to Compiler Explorer Authors

2021-07-24 08:46:18 -05:00

timing-info-widget.js

Update chart.js and its API (CC @partouf)

2021-10-11 22:23:29 -05:00

toggles.js

Replace CommonJS default exports with named exports (#3021)

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

tsconfig.json

Enable downLevelIteration and tslib for TypeScript (#3038)

2021-10-22 08:56:17 -05:00

url.ts

Move static/url.js to TypeScript

2021-08-27 21:34:47 +02:00

utils.ts

Some general UI touches (#2910)

2021-09-03 05:51:05 +02:00