import "Simantics/DB" import "Simantics/Variables" import "Simantics/Diagram" importJava "org.simantics.utils.page.PageDesc" where data PageDesc getOrientedWidth :: PageDesc -> Double getOrientedHeight :: PageDesc -> Double getByName :: String -> PageDesc @JavaName serialize serializePageDesc :: PageDesc -> String importJava "org.simantics.diagram.synchronization.graph.DiagramGraphUtil" where @JavaName setPageDesc setPageDesc :: Resource -> String -> () @JavaName setPageDesc setPageDescRes :: Resource -> PageDesc -> () setGridSize :: Resource -> Double -> () setPageBordersVisible :: Resource -> Boolean -> () setMarginsVisible :: Resource -> Boolean -> () getPageDesc :: Resource -> PageDesc pageDesc :: Variable -> PageDesc pageDesc diagramVariable = getPageDesc $ represents diagramVariable