[ARVADOS-WORKBENCH2] updated: 1.2.0-800-gcc754fd

[Git user]

Summary of changes:
 src/views/workbench/workbench.tsx | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

       via  cc754fd92e51c7539aae05b676e8cf16d7126e6a (commit)
      from  7ce74f9eff7d4cb97d5548cdfc22dfe813103b78 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.


commit cc754fd92e51c7539aae05b676e8cf16d7126e6a
Author: Pawel Kromplewski <pawel.kromplewski at contractors.roche.com>
Date:   Mon Nov 5 08:23:17 2018 +0100

    Update names of functions for saving position of splitter
    
    Feature #14424
    
    Arvados-DCO-1.1-Signed-off-by: Pawel Kromplewski <pawel.kromplewski at contractors.roche.com>

diff --git a/src/views/workbench/workbench.tsx b/src/views/workbench/workbench.tsx
index bdea22f..9ae1018 100644
--- a/src/views/workbench/workbench.tsx
+++ b/src/views/workbench/workbench.tsx
@@ -79,12 +79,12 @@ type WorkbenchPanelProps = WithStyles<CssRules>;
 
 const defaultSplitterSize = 90;
 
-const getSecondaryInitialSize = () => {
+const getSplitterInitialSize = () => {
     const splitterSize = localStorage.getItem('splitterSize');
     return splitterSize ? Number(splitterSize) : defaultSplitterSize;
 };
 
-const onPaneSizeChange = (size: number) => localStorage.setItem('splitterSize', size.toString());
+const saveSplitterSize = (size: number) => localStorage.setItem('splitterSize', size.toString());
 
 export const WorkbenchPanel =
     withStyles(styles)(({ classes }: WorkbenchPanelProps) =>
@@ -92,8 +92,8 @@ export const WorkbenchPanel =
             <Grid container item xs className={classes.container}>
                 <SplitterLayout customClassName={classes.splitter} percentage={true}
                                 primaryIndex={0} primaryMinSize={10}
-                                secondaryInitialSize={getSecondaryInitialSize()} secondaryMinSize={40}
-                                onSecondaryPaneSizeChange={onPaneSizeChange}>
+                                secondaryInitialSize={getSplitterInitialSize()} secondaryMinSize={40}
+                                onSecondaryPaneSizeChange={saveSplitterSize}>
                     <Grid container item xs component='aside' direction='column' className={classes.asidePanel}>
                         <SidePanel />
                     </Grid>

-----------------------------------------------------------------------


hooks/post-receive
--