diff --git a/src/main/webapp/scripts/project.js b/src/main/webapp/scripts/project.js
index b7594bc99..02818fa76 100644
--- a/src/main/webapp/scripts/project.js
+++ b/src/main/webapp/scripts/project.js
@@ -45,11 +45,14 @@ function resize() {
}
function resizeTabs() {
- var totalHeight = ui.leftPanelTabs.height();
- var headerHeight = ui.leftPanelTabs.find(".ui-tabs-nav").innerHeight();
- var tabPanels = ui.leftPanelTabs.find(".ui-tabs-panel")
- var paddings = tabPanels.innerHeight(true) - tabPanels.height();
- tabPanels.height(totalHeight - headerHeight - paddings);
+ var totalHeight = ui.leftPanel.height();
+ var headerHeight = ui.leftPanelTabs.find(".ui-tabs-nav").outerHeight(true);
+
+ var visibleTabPanels = ui.leftPanelTabs.find(".ui-tabs-panel:not(.ui-tabs-hide)");
+ var paddings = visibleTabPanels.innerHeight(true) - visibleTabPanels.height();
+
+ var allTabPanels = ui.leftPanelTabs.find(".ui-tabs-panel");
+ allTabPanels.height(totalHeight - headerHeight - paddings - 1);
}
function resizeAll() {
diff --git a/src/main/webapp/scripts/widgets/history-widget.js b/src/main/webapp/scripts/widgets/history-widget.js
index 44b6a7141..90f129a68 100644
--- a/src/main/webapp/scripts/widgets/history-widget.js
+++ b/src/main/webapp/scripts/widgets/history-widget.js
@@ -7,8 +7,9 @@ function HistoryWidget(div, tabHeader) {
HistoryWidget.prototype.resize = function() {
var body = this._div.find(".history-panel-body");
var footer = this._div.find(".history-panel-footer");
+ var bodyPaddings = body.outerHeight(true) - body.height();
- body.css("height", (this._div.height() - footer.innerHeight(true)) + "px");
+ body.css("height", (this._div.height() - footer.outerHeight(true) - bodyPaddings) + "px");
};
HistoryWidget.prototype.update = function(onDone) {
@@ -35,6 +36,11 @@ HistoryWidget.prototype._render = function() {
.empty()
.unbind()
.html(
+ '
' +
+ '
Don\'t worry ...
' +
+ '
about making mistakes. Every change you make will be shown here, and you can undo changes at any point.
' +
+ '
Learn more »
' +
+ '
' +
'' +
'
' +
'
done upto here
' +
@@ -56,22 +62,28 @@ HistoryWidget.prototype._render = function() {
return a;
};
- if (!this._data.past.length) {
- elmts.pastDiv.html('
No change to undo
');
- } else {
- for (var i = 0; i < this._data.past.length; i++) {
- var entry = this._data.past[i];
- renderEntry(elmts.pastDiv, entry, i === 0 ? 0 : this._data.past[i - 1].id, "Undo to here");
+ if (this._data.past.length > 0 || this._data.future.length > 0) {
+ if (!this._data.past.length) {
+ elmts.pastDiv.html('
No change to undo
');
+ } else {
+ for (var i = 0; i < this._data.past.length; i++) {
+ var entry = this._data.past[i];
+ renderEntry(elmts.pastDiv, entry, i === 0 ? 0 : this._data.past[i - 1].id, "Undo to here");
+ }
}
- }
- if (!this._data.future.length) {
- elmts.futureDiv.html('
No change to redo
');
- } else {
- for (var i = 0; i < this._data.future.length; i++) {
- var entry = this._data.future[i];
- renderEntry(elmts.futureDiv, entry, entry.id, "Redo to here");
+ if (!this._data.future.length) {
+ elmts.futureDiv.html('
No change to redo
');
+ } else {
+ for (var i = 0; i < this._data.future.length; i++) {
+ var entry = this._data.future[i];
+ renderEntry(elmts.futureDiv, entry, entry.id, "Redo to here");
+ }
}
+
+ elmts.helpDiv.hide();
+ } else {
+ elmts.bodyDiv.hide();
}
elmts.extractLink.click(function() { self._extractOperations(); });
@@ -79,7 +91,10 @@ HistoryWidget.prototype._render = function() {
this.resize();
- elmts.bodyDiv[0].scrollTop = elmts.nowDiv[0].offsetTop + elmts.nowDiv[0].offsetHeight - elmts.bodyDiv[0].offsetHeight;
+ elmts.bodyDiv[0].scrollTop =
+ elmts.nowDiv[0].offsetTop +
+ elmts.nowDiv[0].offsetHeight -
+ elmts.bodyDiv[0].offsetHeight;
};
HistoryWidget.prototype._onClickHistoryEntry = function(evt, entry, lastDoneID) {
diff --git a/src/main/webapp/styles/project.css b/src/main/webapp/styles/project.css
index 09975e9ac..555b5e9db 100644
--- a/src/main/webapp/styles/project.css
+++ b/src/main/webapp/styles/project.css
@@ -48,7 +48,7 @@ body {
.left-panel {
position: fixed;
background: white;
- overflow: visible;
+ overflow: hidden;
padding: 0px;
font-size: 12px;
}
@@ -111,6 +111,7 @@ body {
background: #DBE8EB;
-moz-border-radius-bottomleft: 7px;
-webkit-border-bottom-left-radius: 7px;
+ overflow: hidden;
}
.facet-panel {
diff --git a/src/main/webapp/styles/widgets/history.css b/src/main/webapp/styles/widgets/history.css
index 7986c441f..614f92841 100644
--- a/src/main/webapp/styles/widgets/history.css
+++ b/src/main/webapp/styles/widgets/history.css
@@ -1,3 +1,17 @@
+.history-panel-help {
+ padding: 10px;
+ background: white;
+ border: 1px solid #ccc;
+ -moz-border-radius: 10px;
+ -webkit-border-radius: 10px;
+}
+.history-panel-help h1 {
+ margin-top: 0px;
+ font-size: 150%;
+ font-weight: bold;
+ color: #888;
+}
+
.history-panel-body {
background: #fff;
overflow: auto;