-listener memoize namespaces prettyprint.stylesheet sequences
-ui.gadgets.panes.private ui.theme ui.theme.switching
-ui.tools.listener vectors vocabs.prettyprint words ;
+listener memoize namespaces prettyprint.private
+prettyprint.stylesheet sequences ui.gadgets.panes.private
+ui.theme ui.theme.switching ui.tools.listener vectors
+vocabs.prettyprint words ;