b2a742b | Harald Schilly | 15 February 2023, 14:55:07 UTC | frontend/latex/build: modernize engine selection dropdown and remove react-boostrap alerts | 15 February 2023, 14:57:50 UTC |
7e15e66 | William Stein | 15 February 2023, 07:06:20 UTC | update react-timeago | 15 February 2023, 07:06:20 UTC |
019df2f | William Stein | 15 February 2023, 07:02:51 UTC | crm: implement export to CSV | 15 February 2023, 07:02:51 UTC |
69a552e | William Stein | 15 February 2023, 06:42:34 UTC | crm: account for export with compound primary key (only allow export all for now) | 15 February 2023, 06:42:34 UTC |
4cea486 | William Stein | 15 February 2023, 06:16:30 UTC | crm: everything is done for export to json | 15 February 2023, 06:16:30 UTC |
19d543e | William Stein | 15 February 2023, 02:33:02 UTC | fix a little bit of typescript issues | 15 February 2023, 02:33:02 UTC |
f7dac12 | William Stein | 15 February 2023, 02:29:04 UTC | crm: work in progress implementing import/export | 15 February 2023, 02:29:04 UTC |
fdc9f19 | William Stein | 14 February 2023, 20:59:48 UTC | crm -- excess scrollbar | 14 February 2023, 20:59:48 UTC |
ee6fc16 | William Stein | 14 February 2023, 20:54:51 UTC | refactor crm grid and make csv grid view available as a result | 14 February 2023, 20:54:51 UTC |
c6adc50 | William Stein | 14 February 2023, 18:37:48 UTC | fix row background type | 14 February 2023, 18:37:48 UTC |
2d5f9bd | William Stein | 14 February 2023, 18:19:32 UTC | Merge pull request #6417 from sagemathinc/top-navbar-bootstrap-free re-engineer top navbar | 14 February 2023, 18:19:32 UTC |
dca2858 | William Stein | 14 February 2023, 18:02:14 UTC | Merge pull request #6433 from sagemathinc/antd-fix-fileuploadwrapper-modal-deprecation frontend: small code fixes | 14 February 2023, 18:02:14 UTC |
1ee47f7 | Harald Schilly | 14 February 2023, 17:00:45 UTC | frontend/color-picker: local storage must be imported from the module directly, otherwise static does not compile | 14 February 2023, 17:00:45 UTC |
bb19728 | Harald Schilly | 14 February 2023, 15:33:46 UTC | frontend/notifications for mentions: simplify css | 14 February 2023, 16:17:41 UTC |
d6ea47f | Harald Schilly | 14 February 2023, 15:03:15 UTC | frontend/mentions: handle mark-read delay in the same way as opening the target marks it read; fix some styling | 14 February 2023, 15:17:43 UTC |
d8298e9 | Harald Schilly | 14 February 2023, 14:48:16 UTC | frontend/top-nav: untangle fullscreen+fixed on top, make connection indicator red if disconnected, and simplify alignments | 14 February 2023, 14:48:16 UTC |
cbedcb3 | Harald Schilly | 14 February 2023, 11:05:45 UTC | frontend/mentions: refactor code, fix "mark-all" actions, tweak hiding delay, etc. | 14 February 2023, 13:10:22 UTC |
0489591 | Harald Schilly | 14 February 2023, 13:06:43 UTC | frontend/markdown: safeguard localStorage access and check returned values | 14 February 2023, 13:06:43 UTC |
b7d7d48 | Harald Schilly | 14 February 2023, 11:28:22 UTC | frontend: fix modal visible/open deprecation and sort some imports along the way of looking for this | 14 February 2023, 11:28:22 UTC |
177ef5e | Harald Schilly | 14 February 2023, 10:30:39 UTC | frontend/mentions: create "mark all X" button, use it for files as well, and move checkbox to the start of the row, as usual | 14 February 2023, 10:30:39 UTC |
930fad1 | Harald Schilly | 14 February 2023, 09:28:50 UTC | Merge remote-tracking branch 'origin/master' into top-navbar-bootstrap-free | 14 February 2023, 09:28:50 UTC |
21b1bf2 | William Stein | 14 February 2023, 01:30:33 UTC | background colors: refactor/reuse some code for lists | 14 February 2023, 01:30:33 UTC |
76a5760 | William Stein | 14 February 2023, 00:50:41 UTC | crm: finish row selection implementation with all needed features | 14 February 2023, 00:50:41 UTC |
445293c | William Stein | 14 February 2023, 00:13:45 UTC | Merge branch 'master' into crm-select | 14 February 2023, 00:13:45 UTC |
233e777 | William Stein | 13 February 2023, 21:01:07 UTC | whiteboard: fix edge case involving deleteElements and keyboard | 13 February 2023, 21:01:07 UTC |
4880d69 | Harald Schilly | 13 February 2023, 15:39:34 UTC | frontend/top-nav: fix style for chrome+firefox | 13 February 2023, 15:39:34 UTC |
d985a5a | Harald Schilly | 13 February 2023, 14:35:35 UTC | frontend/notifications: remove bootstrap, refactor actions, etc | 13 February 2023, 15:05:18 UTC |
572fddd | Harald Schilly | 13 February 2023, 13:20:44 UTC | Merge remote-tracking branch 'origin/master' into top-navbar-bootstrap-free | 13 February 2023, 13:20:44 UTC |
fe398d9 | William Stein | 13 February 2023, 04:36:45 UTC | crm: checkboxes; select all | 13 February 2023, 04:36:45 UTC |
84e6a2e | William Stein | 13 February 2023, 01:54:41 UTC | crm: hover to change number into box | 13 February 2023, 01:54:41 UTC |
aa5ad40 | William Stein | 12 February 2023, 20:32:28 UTC | crm: add selection state hook, and make clicking on number toggle it in grid view | 12 February 2023, 20:32:28 UTC |
1ac11a1 | William Stein | 12 February 2023, 19:34:29 UTC | crm: store state of which items are selected in a given view. | 12 February 2023, 19:34:29 UTC |
bcbbb3d | William Stein | 12 February 2023, 18:54:13 UTC | fix a slate bug that caused a crash in production | 12 February 2023, 18:54:13 UTC |
d777ec1 | William Stein | 12 February 2023, 17:26:02 UTC | scope the hidden mobile style | 12 February 2023, 17:26:02 UTC |
9945d54 | William Stein | 12 February 2023, 17:15:58 UTC | make chat not totally impossible to use on mobile -- fix #6432 - I don't have time -- this is just something quick | 12 February 2023, 17:15:58 UTC |
a314251 | William Stein | 12 February 2023, 16:40:59 UTC | fix bug that made feature overview page useless on mobile | 12 February 2023, 16:40:59 UTC |
55ac332 | William Stein | 12 February 2023, 16:28:27 UTC | fix landing page being completely broken on mobile; make hero shorter | 12 February 2023, 16:28:27 UTC |
971c374 | Harald Schilly | 12 February 2023, 15:17:11 UTC | Merge remote-tracking branch 'origin/master' into top-navbar-bootstrap-free | 12 February 2023, 15:17:11 UTC |
5b5ece7 | William Stein | 12 February 2023, 05:37:01 UTC | emoji search completer when in markdown mode - just a little fun thing that I've always wanted | 12 February 2023, 05:37:01 UTC |
da3c7d9 | William Stein | 12 February 2023, 03:50:47 UTC | upgrade markdown-it to new version | 12 February 2023, 03:50:47 UTC |
70b3b26 | William Stein | 12 February 2023, 01:48:26 UTC | minor polish on previous commit | 12 February 2023, 01:48:26 UTC |
4bd2dcb | William Stein | 12 February 2023, 01:34:15 UTC | fix #6428 -- whiteboard/slides: can't move cursor outside of current color mode - fixed this, and show color in button; when clicked it gets unset like with bold, etc. - also made it so the font family is shown - make font size being nontrivial get highlighted | 12 February 2023, 01:34:15 UTC |
0779de7 | William Stein | 11 February 2023, 21:12:49 UTC | move list item up/down | 11 February 2023, 21:12:49 UTC |
bf10809 | William Stein | 11 February 2023, 19:13:51 UTC | fix additional subtle issues with quotes in filenames and antd | 11 February 2023, 19:13:51 UTC |
836147b | William Stein | 11 February 2023, 18:55:19 UTC | more robust fix for antd tab keys; previous fix could still be broke | 11 February 2023, 18:55:19 UTC |
00b0c5c | William Stein | 11 February 2023, 18:50:42 UTC | stumbled upon and fixed a heisenbug in the Jupyter menu | 11 February 2023, 18:50:42 UTC |
e393ee8 | William Stein | 11 February 2023, 18:01:45 UTC | whiteboard/slides: fix issue with placeholder template text | 11 February 2023, 18:01:45 UTC |
6e03db3 | Harald Schilly | 11 February 2023, 13:54:53 UTC | Merge remote-tracking branch 'origin/master' into top-navbar-bootstrap-free | 11 February 2023, 13:54:53 UTC |
283061f | William Stein | 10 February 2023, 23:18:21 UTC | add slides features page | 10 February 2023, 23:18:21 UTC |
c7858c1 | William Stein | 10 February 2023, 20:04:53 UTC | improve slide template - placeholder and initstr are separate; this provides a good data structure for templates! | 10 February 2023, 20:04:53 UTC |
3eb7228 | William Stein | 10 February 2023, 19:53:03 UTC | fix #6419 -- tab crash when filename contains quotes - also, re-enable the + to add a new tab, which is standard UI and now we have the space for it. | 10 February 2023, 19:53:03 UTC |
1aca109 | William Stein | 10 February 2023, 19:28:01 UTC | slides/whiteboard: properly solve the "no pages" problem - given there is no canonical client (like for jupyter, where the project is), we have to allow the special case of "no pages", and then an explicit user interaction creates the first page. - ack: I recall Brian Granger suggesting exactly this approach in a JupyterLab dev meeting about Jupyter RTC. | 10 February 2023, 19:28:01 UTC |
7037f51 | William Stein | 10 February 2023, 18:53:09 UTC | provide some feedback when creating a new file | 10 February 2023, 18:53:09 UTC |
151edc1 | William Stein | 10 February 2023, 18:22:49 UTC | publishing slides: don't show broken speaker notes json | 10 February 2023, 18:22:49 UTC |
af217ae | William Stein | 10 February 2023, 17:45:59 UTC | remove a debug line | 10 February 2023, 17:45:59 UTC |
941296f | William Stein | 10 February 2023, 17:02:57 UTC | make error report message more useful | 10 February 2023, 17:02:57 UTC |
5af2569 | William Stein | 10 February 2023, 16:54:50 UTC | Merge branch 'master' of github.com:sagemathinc/cocalc | 10 February 2023, 16:54:50 UTC |
e58740a | William Stein | 10 February 2023, 16:54:34 UTC | make jsoning args by the error reporter more robust | 10 February 2023, 16:54:34 UTC |
2eca849 | Harald Schilly | 10 February 2023, 16:26:29 UTC | frontend/notifications: start to clean up some css | 10 February 2023, 16:26:29 UTC |
8c25136 | William Stein | 10 February 2023, 16:10:50 UTC | Merge pull request #6418 from sagemathinc/fix-course-grade-editing frontend/course/assignment: fix entering a grade in markdown input | 10 February 2023, 16:10:50 UTC |
81ed37d | Harald Schilly | 10 February 2023, 15:42:05 UTC | frontend/top-bar: more tweaks to buttons | 10 February 2023, 15:42:05 UTC |
9289281 | Harald Schilly | 10 February 2023, 15:00:01 UTC | frontend/course/assignment: fix markdown boxes in column for editing the grade | 10 February 2023, 15:00:01 UTC |
15bbbf6 | Harald Schilly | 10 February 2023, 14:47:44 UTC | frontend/mentions: start fixing this page | 10 February 2023, 14:47:44 UTC |
5fe9d48 | Harald Schilly | 10 February 2023, 14:43:59 UTC | frontend/top-bar: untangle and simplify styling, fix it for mobile and make it reactive, tweak some main content pages, etc. | 10 February 2023, 14:43:59 UTC |
b148c3f | Harald Schilly | 09 February 2023, 18:30:02 UTC | frontend/top-bar: give "metions" its own spot, makes it much more discoverable | 09 February 2023, 18:30:02 UTC |
647cb6b | Harald Schilly | 09 February 2023, 17:48:41 UTC | frontend/top-navbar: WIP towards unified style and less bootstrap | 09 February 2023, 17:48:41 UTC |
1305c0c | William Stein | 09 February 2023, 07:17:47 UTC | slides: keyboard for moving between pages; template for first page | 09 February 2023, 07:17:47 UTC |
e08f282 | William Stein | 09 February 2023, 06:31:16 UTC | whiteboard -- keyboard when nothing selected to move around pages | 09 February 2023, 06:31:16 UTC |
6717dd7 | William Stein | 09 February 2023, 06:11:41 UTC | slides: fix z-index issue; different model for fixed elt that makes more sense | 09 February 2023, 06:11:41 UTC |
f200364 | William Stein | 09 February 2023, 02:37:41 UTC | slides: add template for new slides | 09 February 2023, 02:37:41 UTC |
eb2f602 | William Stein | 09 February 2023, 02:23:24 UTC | whiteboard / slides: finish implementing "delete page" | 09 February 2023, 02:23:57 UTC |
8c21160 | William Stein | 09 February 2023, 00:54:04 UTC | slides/whiteboard: working on "delete page" | 09 February 2023, 00:54:04 UTC |
12ff827 | William Stein | 09 February 2023, 00:30:55 UTC | whiteboard/slides: refactor "new page" button; better scroll to elts | 09 February 2023, 00:31:49 UTC |
a9695ac | William Stein | 08 February 2023, 21:53:21 UTC | and control of font size for speaker notes | 08 February 2023, 21:53:21 UTC |
c611bf7 | William Stein | 08 February 2023, 21:44:01 UTC | speaker notes: controls to edit them. | 08 February 2023, 21:44:01 UTC |
94c1f41 | William Stein | 08 February 2023, 21:16:29 UTC | disable some showing of lines numbers (for now) | 08 February 2023, 21:16:29 UTC |
6256120 | William Stein | 08 February 2023, 21:05:20 UTC | better icons; nicer new file buttons. | 08 February 2023, 21:05:20 UTC |
7995b2a | William Stein | 08 February 2023, 20:39:10 UTC | restyle drag bars again -- they can become totally invisible - e.g., pages next to overview and the drag bar vanishes. not good. | 08 February 2023, 20:39:10 UTC |
41afeab | William Stein | 08 February 2023, 20:29:59 UTC | slides: sync speaker notes with main page | 08 February 2023, 20:29:59 UTC |
81530ab | William Stein | 08 February 2023, 17:56:49 UTC | Merge branch 'master' into slides | 08 February 2023, 17:56:49 UTC |
9717060 | William Stein | 08 February 2023, 17:50:13 UTC | slides: speaker notes - implement sync state working now. - this involved fixing some subtle bug in the Text component, which probably didn't cause trouble in the whiteboard but does here. That said, in theory it could have also caused trouble elsewhere in some rare case, maybe... | 08 February 2023, 17:50:13 UTC |
0954c4f | William Stein | 08 February 2023, 17:47:16 UTC | fullscreen -- don't show "home" button | 08 February 2023, 17:47:16 UTC |
009923a | William Stein | 08 February 2023, 17:29:04 UTC | Merge pull request #6413 from sagemathinc/fix-antd-deprecations-1 fix antd deprecations | 08 February 2023, 17:29:04 UTC |
54cc61f | Harald Schilly | 08 February 2023, 17:02:26 UTC | frontend/jupyter: mainly modernizing DropdownMenu in jupyter and frame-editor menu rows | 08 February 2023, 17:10:28 UTC |
ed20cb4 | Harald Schilly | 08 February 2023, 15:55:47 UTC | frontend/editors: modernize spellcheck dropdownmenu and tweak some styling | 08 February 2023, 15:55:47 UTC |
7c5d247 | Harald Schilly | 08 February 2023, 15:23:51 UTC | frontend/share/license: modernize DropdownMenu | 08 February 2023, 15:23:51 UTC |
496106d | Harald Schilly | 08 February 2023, 15:12:57 UTC | frontend/slate/insert: modernize DropdownMenu | 08 February 2023, 15:12:57 UTC |
47e0a9a | Harald Schilly | 08 February 2023, 15:06:43 UTC | frontend/file-info-dropdown: modernize DropdownMenu, sort some imports/exports, add types | 08 February 2023, 15:06:43 UTC |
b499973 | Harald Schilly | 08 February 2023, 14:49:57 UTC | frontend/font-size: modernize DropdownMenu | 08 February 2023, 14:49:57 UTC |
0c925f7 | Harald Schilly | 08 February 2023, 14:44:55 UTC | frontend/font-family: modernize dropdown and add "Ubuntu" font, sucht that Linux user have at least one additional choice | 08 February 2023, 14:44:55 UTC |
bc0e6e1 | Harald Schilly | 08 February 2023, 14:35:44 UTC | frontend: fix format-title dropdown, and minor tweaks to code and what is shown | 08 February 2023, 14:35:44 UTC |
e0c2b54 | Harald Schilly | 08 February 2023, 13:55:09 UTC | frontend/project-new: fix layout, fix dropdown buttons and NewFileButton, etc. | 08 February 2023, 13:55:09 UTC |
5c6c622 | Harald Schilly | 08 February 2023, 09:55:36 UTC | Merge remote-tracking branch 'origin/master' into fix-antd-deprecations-1 | 08 February 2023, 09:55:36 UTC |
cf94ca9 | William Stein | 08 February 2023, 05:12:16 UTC | work in progress making slide comments persistent - not working yet! | 08 February 2023, 05:12:16 UTC |
19971f7 | William Stein | 08 February 2023, 03:22:20 UTC | slides: work in progress on speaker notes data structure | 08 February 2023, 03:22:20 UTC |
6dbb8be | William Stein | 08 February 2023, 03:10:52 UTC | whiteboard overview: don't use virtuoso scroll hook on grid - it is not compatible at all, and not really needed | 08 February 2023, 03:11:18 UTC |
7713d31 | William Stein | 08 February 2023, 01:15:10 UTC | Merge branch 'master' into slides | 08 February 2023, 01:15:10 UTC |
83958b0 | William Stein | 08 February 2023, 01:14:53 UTC | Private --> "Publish", and make it a button | 08 February 2023, 01:14:53 UTC |
7461228 | William Stein | 08 February 2023, 01:08:23 UTC | fix layout bug related to new tabs layout from yesterday | 08 February 2023, 01:08:23 UTC |
b77911c | William Stein | 08 February 2023, 01:01:11 UTC | implement blaec's "click to customize" tip for whiteboard/slides | 08 February 2023, 01:01:11 UTC |