fixed ignored comment width with sync
This commit is contained in:
		
										
											Binary file not shown.
										
									
								
							@@ -61,8 +61,8 @@
 | 
				
			|||||||
  _gap()
 | 
					  _gap()
 | 
				
			||||||
  
 | 
					  
 | 
				
			||||||
  _sync({
 | 
					  _sync({
 | 
				
			||||||
    _seq("bob", "alice")
 | 
					    _seq("bob", "alice", comment: "Synched", comment-align: "start")
 | 
				
			||||||
    _seq("bob", "craig")
 | 
					    _seq("bob", "craig", comment: "Synched", comment-align: "start")
 | 
				
			||||||
  })
 | 
					  })
 | 
				
			||||||
  _gap()
 | 
					  _gap()
 | 
				
			||||||
  
 | 
					  
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -20,6 +20,16 @@
 | 
				
			|||||||
  let pars-i = get-participants-i(participants)
 | 
					  let pars-i = get-participants-i(participants)
 | 
				
			||||||
  let cells = ()
 | 
					  let cells = ()
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					  // Unwrap syncs
 | 
				
			||||||
 | 
					  let i = 0
 | 
				
			||||||
 | 
					  while i < elements.len() {
 | 
				
			||||||
 | 
					    let elmt = elements.at(i)
 | 
				
			||||||
 | 
					    if elmt.type == "sync" {
 | 
				
			||||||
 | 
					      elements = elements.slice(0, i + 1) + elmt.elmts + elements.slice(i + 1)
 | 
				
			||||||
 | 
					    }
 | 
				
			||||||
 | 
					    i += 1
 | 
				
			||||||
 | 
					  }
 | 
				
			||||||
 | 
					
 | 
				
			||||||
  // Compute max lifeline levels
 | 
					  // Compute max lifeline levels
 | 
				
			||||||
  for elmt in elements {
 | 
					  for elmt in elements {
 | 
				
			||||||
    if elmt.type == "seq" {
 | 
					    if elmt.type == "seq" {
 | 
				
			||||||
 
 | 
				
			|||||||
		Reference in New Issue
	
	Block a user