').height("400px").css("overflow", "auto").appendTo(leftColumn);
+ var entryDiv = $('
').addClass("extract-operation-dialog-entries").appendTo(leftColumn);
+
var entryTable = $('
').appendTo(entryDiv)[0];
var createEntry = function(entry) {
var tr = entryTable.insertRow(entryTable.rows.length);
@@ -161,10 +165,7 @@ HistoryWidget.prototype._showExtractOperationsDialog = function(json) {
var textarea = $('
')
.attr("wrap", "off")
- .css("white-space", "pre")
- .css("font-family", "monospace")
- .width("100%")
- .height("400px")
+ .addClass("extract-operation-dialog-textarea")
.appendTo(rightColumn);
var updateJson = function() {
var a = [];
diff --git a/src/main/webapp/styles/project/history.css b/src/main/webapp/styles/project/history.css
index c8dff6151..fc54bb585 100644
--- a/src/main/webapp/styles/project/history.css
+++ b/src/main/webapp/styles/project/history.css
@@ -85,3 +85,21 @@ a.history-entry:hover {
color: white;
text-decoration: none;
}
+
+table.extract-operation-dialog-layout td {
+ vertical-align: top;
+}
+.extract-operation-dialog-entries {
+ height: 400px;
+ overflow: auto;
+}
+textarea.extract-operation-dialog-textarea {
+ display: block;
+ margin: 0;
+ vertical-align: top;
+ white-space: pre;
+ font-family: monospace;
+ padding: 2%;
+ width: 96%;
+ height: 400px;
+}
\ No newline at end of file