File tree Expand file tree Collapse file tree 1 file changed +18
-0
lines changed
src/packages/frontend/frame-editors/jupyter-editor Expand file tree Collapse file tree 1 file changed +18
-0
lines changed Original file line number Diff line number Diff line change @@ -537,6 +537,24 @@ export class JupyterEditorActions extends BaseActions<JupyterEditorState> {
537
537
compute_server ( ) {
538
538
// this is here just so the dropdown gets enabled
539
539
}
540
+
541
+ gotoUser ( account_id : string , frameId ?: string ) {
542
+ const cursors = this . jupyter_actions . syncdb
543
+ . get_cursors ( { maxAge : 0 } )
544
+ ?. toJS ( ) ;
545
+ if ( cursors == null ) return ; // no info
546
+ const locs = cursors [ account_id ] ?. locs ;
547
+ for ( const loc of locs ) {
548
+ if ( loc . id != null ) {
549
+ const frameActions = this . get_frame_actions ( frameId ) ;
550
+ if ( frameActions != null ) {
551
+ frameActions . set_cur_id ( loc . id ) ;
552
+ frameActions . scroll ( "cell visible" ) ;
553
+ return ;
554
+ }
555
+ }
556
+ }
557
+ }
540
558
}
541
559
542
560
export { JupyterEditorActions as Actions } ;
You can’t perform that action at this time.
0 commit comments