|
|
@@ -1400,9 +1400,15 @@ var handleGraphvizResult = function(id, timeStamp, format, result) {
|
|
|
};
|
|
|
|
|
|
var setPreviewEnabled = function(enabled) {
|
|
|
+ var hint = '<div class="preview-hint">' +
|
|
|
+ '<h3>Live Preview for Diagrams</h3>' +
|
|
|
+ '<p>Place the cursor on the definition of a diagram to preview.</p>' +
|
|
|
+ '</div>';
|
|
|
+
|
|
|
if (enabled) {
|
|
|
contentDiv.style.display = 'none';
|
|
|
previewDiv.style.display = 'block';
|
|
|
+ previewDiv.innerHTML = hint;
|
|
|
} else {
|
|
|
contentDiv.style.display = 'block';
|
|
|
previewDiv.style.display = 'none';
|