Skip to content

Fix notebook functionality#232

Merged
mofojed merged 3 commits intodeephaven:mainfrom
mofojed:fix-notebooks
Oct 14, 2021
Merged

Fix notebook functionality#232
mofojed merged 3 commits intodeephaven:mainfrom
mofojed:fix-notebooks

Conversation

@mofojed
Copy link
Member

@mofojed mofojed commented Oct 13, 2021

Totally forgot to re-implement all of NotebookEventHandler in ConsolePlugin. It is now there.

Totally forgot to re-implement all of NotebookEventHandler in ConsolePlugin. It is now there.
@mofojed mofojed added bug Something isn't working web-client-ui labels Oct 13, 2021
@mofojed mofojed added this to the October 2021 milestone Oct 13, 2021
@mofojed mofojed requested a review from vbabich October 13, 2021 14:29
@mofojed mofojed self-assigned this Oct 13, 2021
We only want one instance of monaco-editor, otherwise themes might be messed up
Copy link
Collaborator

@vbabich vbabich left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good, needs a small fix for preview tab reuse

Co-authored-by: vbabich <vladimir.babich@gmail.com>
@mofojed mofojed requested a review from vbabich October 14, 2021 17:27
@mofojed mofojed merged commit 87f0a85 into deephaven:main Oct 14, 2021
@mofojed mofojed deleted the fix-notebooks branch October 14, 2021 17:47
mofojed added a commit to mofojed/web-client-ui that referenced this pull request Oct 14, 2021
  * [deephaven#232](deephaven#232) Fix notebook functionality ([@mofojed](https://github.com/mofojed))
* `code-studio`, `components`, `dashboard-core-plugins`
  * [deephaven#228](deephaven#228) Fix card flip animation showing back-face in chrome ([@dsmmcken](https://github.com/dsmmcken))
* `grid`
  * [deephaven#233](deephaven#233) Fix scroll bar not working in the corner if only one scroll direction ([@mofojed](https://github.com/mofojed))
* `dashboard-core-plugins`
  * [deephaven#230](deephaven#230) Fix up getTableMapForDashboard selector ([@mofojed](https://github.com/mofojed))

- Don ([@dsmmcken](https://github.com/dsmmcken))
- Mike Bender ([@mofojed](https://github.com/mofojed))
@mofojed mofojed mentioned this pull request Oct 14, 2021
mofojed added a commit that referenced this pull request Oct 14, 2021
* [#232](#232) Fix notebook functionality ([@mofojed](https://github.com/mofojed))
* `code-studio`, `components`, `dashboard-core-plugins`
  * [#228](#228) Fix card flip animation showing back-face in chrome ([@dsmmcken](https://github.com/dsmmcken))
* `grid`
  * [#233](#233) Fix scroll bar not working in the corner if only one scroll direction ([@mofojed](https://github.com/mofojed))
* `dashboard-core-plugins`
  * [#230](#230) Fix up getTableMapForDashboard selector ([@mofojed](https://github.com/mofojed))

- Don ([@dsmmcken](https://github.com/dsmmcken))
- Mike Bender ([@mofojed](https://github.com/mofojed))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working web-client-ui

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants