Henrik Giesel 88217c5e7d Replace (some) Bootstrap dropdowns with Floating UI (#1695) ... * Implement a first version of WithFloating and Portal * Add outside slot for Portal * Execute computePosition from WithFloating * Set up a first example of new WithFloating with the Latex menu * Use autoUpdate in WithFloating * Create sveltelib/position * Add event-store * Use event-store in close-on-click * Implement subscribeToUpdates * Introduce sass/elevation * Split close-on-click to closing-click and subscribe-trigger * Have closing-* stores return a symbol - This way they act more of an EventEmitter than a store * Allow passing show store * Remove styling on float on updatePosition removal * Implement a nice border for dropdowns * Apply different border and box-shadow to Popover in dark/light theme * Fix Ctrl+Shift+T not working * Satisfy formatters and tests * Add copyright header * move copyright header to top (dae)		2022-03-02 14:21:19 +10:00
..
action-list.ts	Fix some Mathjax issues (#1547)	2022-01-08 11:46:01 +10:00
async.ts	add missing copyright headers to *.ts	2021-04-13 18:57:08 +10:00
asyncReactive.ts	Use eslint for sorting our imports (#1637)	2022-02-04 18:36:34 +10:00
BUILD.bazel	Replace (some) Bootstrap dropdowns with Floating UI (#1695)	2022-03-02 14:21:19 +10:00
closing-click.ts	Replace (some) Bootstrap dropdowns with Floating UI (#1695)	2022-03-02 14:21:19 +10:00
closing-keyup.ts	Replace (some) Bootstrap dropdowns with Floating UI (#1695)	2022-03-02 14:21:19 +10:00
context-property.ts	Use eslint for sorting our imports (#1637)	2022-02-04 18:36:34 +10:00
dom-mirror.ts	Fix insert media always insert at the start (on Windows) (#1684)	2022-02-25 10:59:06 +10:00
dynamic-slotting.ts	Use eslint for sorting our imports (#1637)	2022-02-04 18:36:34 +10:00
dynamicComponent.ts	Use trailingComma: all setting in .prettierrc (#1435)	2021-10-19 09:06:00 +10:00
event-store.ts	Replace (some) Bootstrap dropdowns with Floating UI (#1695)	2022-03-02 14:21:19 +10:00
export-runtime.ts	Fix insert media always insert at the start (on Windows) (#1684)	2022-02-25 10:59:06 +10:00
handler-list.ts	Fix insert media always insert at the start (on Windows) (#1684)	2022-02-25 10:59:06 +10:00
input-handler.ts	Fix insert media always insert at the start (on Windows) (#1684)	2022-02-25 10:59:06 +10:00
lifecycle-hooks.ts	Fix plain text (#1689)	2022-02-25 11:14:26 +10:00
node-store.ts	Use eslint for sorting our imports (#1637)	2022-02-04 18:36:34 +10:00
portal.ts	Replace (some) Bootstrap dropdowns with Floating UI (#1695)	2022-03-02 14:21:19 +10:00
position.ts	Replace (some) Bootstrap dropdowns with Floating UI (#1695)	2022-03-02 14:21:19 +10:00
preferences.ts	Use eslint for sorting our imports (#1637)	2022-02-04 18:36:34 +10:00
shortcut.ts	Use trailingComma: all setting in .prettierrc (#1435)	2021-10-19 09:06:00 +10:00
store-subscribe.ts	Fix IME input after tab (#1584)	2022-01-12 08:39:41 +10:00
subscribe-trigger.ts	Replace (some) Bootstrap dropdowns with Floating UI (#1695)	2022-03-02 14:21:19 +10:00
subscribe-updates.ts	Replace (some) Bootstrap dropdowns with Floating UI (#1695)	2022-03-02 14:21:19 +10:00
theme.ts	Use eslint for sorting our imports (#1637)	2022-02-04 18:36:34 +10:00
toggleable.ts	Replace (some) Bootstrap dropdowns with Floating UI (#1695)	2022-03-02 14:21:19 +10:00
tsconfig.json	update to latest rules_nodejs & switch to ts_project	2021-10-01 12:52:53 +10:00
types.ts	Improved add-on extension API (#1626)	2022-02-03 14:52:11 +10:00