File tree Expand file tree Collapse file tree 1 file changed +6
-3
lines changed Expand file tree Collapse file tree 1 file changed +6
-3
lines changed Original file line number Diff line number Diff line change @@ -44,7 +44,7 @@ initialWindowWidth =
4444
4545initialWindowHeight  :  Int 
4646initialWindowHeight  = 
47-   360 
47+   420 
4848
4949
5050
@@ -782,11 +782,14 @@ viewExpando expandoMsg expandoModel layout =
782782    ,   style " margin"   " 0" 
783783    ,   style " overflow"   " auto" 
784784    ,   style " pointer-events"   block
785+     ,   style " -webkit-user-select"   block
786+     ,   style " -moz-user-select"   block
787+     ,   style " -ms-user-select"   block
785788    ,   style " user-select"   block
786789    ] 
787-     [   div [   style " color"   " #ccc"   ]   [   text " -- MESSAGE"   ] 
790+     [   div [   style " color"   " #ccc" ,  style  " padding "   " 0 0 1em 0 "   ]   [   text " -- MESSAGE"   ] 
788791    ,   Html . map TweakExpandoMsg  <|  Expando . view Nothing  expandoMsg
789-     ,   div [   style " color"   " #ccc"   ]   [   text " -- MODEL"   ] 
792+     ,   div [   style " color"   " #ccc" ,  style  " padding "   " 1em 0 "   ]   [   text " -- MODEL"   ] 
790793    ,   Html . map TweakExpandoModel  <|  Expando . view Nothing  expandoModel
791794    ] 
792795
    
 
   
 
     
   
   
          
     
  
    
     
 
    
      
     
 
     
    You can’t perform that action at this time.
  
 
    
  
     
    
      
        
     
 
       
      
     
   
 
    
    
  
 
  
 
     
    
0 commit comments