<commit_before><?xml version="1.0" encoding="UTF-8"?>

<?import javafx.scene.control.Label?>
<?import javafx.scene.control.ScrollPane?>
<?import javafx.scene.control.TableColumn?>
<?import javafx.scene.control.TableView?>
<?import javafx.scene.layout.AnchorPane?>

<fx:root minHeight="70.0" minWidth="200.0" stylesheets="@/prob.css"
	type="AnchorPane" xmlns="http://javafx.com/javafx/8.0.65" xmlns:fx="http://javafx.com/fxml/1">
	<ScrollPane fitToHeight="true" fitToWidth="true"
		AnchorPane.bottomAnchor="0.0" AnchorPane.leftAnchor="0.0"
		AnchorPane.rightAnchor="0.0" AnchorPane.topAnchor="0.0">
		<TableView fx:id="animationsTable" minWidth="200.0">
			<columns>
				<TableColumn fx:id="machine" prefWidth="132.0" text="Machine/Context" />
				<TableColumn fx:id="lastop" prefWidth="92.0" text="Last Operation" />
				<TableColumn fx:id="tracelength" prefWidth="59.0"
					styleClass="center" text="Trace length" />
				<TableColumn fx:id="time" prefWidth="60.0" text="Time" />
			</columns>
			<columnResizePolicy>
				<TableView fx:constant="CONSTRAINED_RESIZE_POLICY" />
			</columnResizePolicy>
			<placeholder>
				<Label text="No model loaded" />
			</placeholder>
		</TableView>
	</ScrollPane>
</fx:root><commit_msg>removed second scroll bar and some further small layout improvements<commit_after><?xml version="1.0" encoding="UTF-8"?>

<?import javafx.scene.control.Label?>
<?import javafx.scene.control.ScrollPane?>
<?import javafx.scene.control.TableColumn?>
<?import javafx.scene.control.TableView?>
<?import javafx.scene.layout.AnchorPane?>

<fx:root minHeight="70.0" minWidth="200.0" stylesheets="@/prob.css"
	type="AnchorPane" xmlns="http://javafx.com/javafx/8.0.65" xmlns:fx="http://javafx.com/fxml/1">
	<TableView fx:id="animationsTable" AnchorPane.bottomAnchor="1.0"
		AnchorPane.leftAnchor="-1.0" AnchorPane.rightAnchor="-1.0"
		AnchorPane.topAnchor="0.0">
		<columns>
			<TableColumn fx:id="machine" minWidth="117.0" prefWidth="117.0"
				text="Machine/Context" />
			<TableColumn fx:id="lastop" minWidth="102.0" prefWidth="102.0"
				text="Last Operation" />
			<TableColumn fx:id="tracelength" minWidth="88.0"
				prefWidth="88.0" styleClass="center" text="Trace length" />
			<TableColumn fx:id="time" minWidth="65.0" prefWidth="65.0"
				text="Time" />
		</columns>
		<columnResizePolicy>
			<TableView fx:constant="CONSTRAINED_RESIZE_POLICY" />
		</columnResizePolicy>
		<placeholder>
			<Label text="No model loaded" />
		</placeholder>
	</TableView>
</fx:root>
{'fraction_non_alphanumeric': 0.18353413654618475, 'fraction_numerical': 0.03654618473895582, 'mean_word_length': 5.486979166666667, 'pattern_counts': {'":': 0, '<': 49, '<?xml version=': 2, '>': 49, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 8}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2495630', 'n_tokens_mistral': 992, 'n_tokens_neox': 898, 'n_words': 135}