Commit 944ce894203824340cdd0cdf329ea9647752e596
- Diff rendering mode:
- inline
- side by side
server/wsgi/page_edit.js
(1 / 1)
  | |||
2863 | 2863 | } | |
2864 | 2864 | ||
2865 | 2865 | ||
2866 | |||
2867 | 2866 | /** | |
2868 | 2867 | * Overlay bar which can function in either visual editor or html editor mode. | |
2869 | 2868 | */ | |
… | … | ||
2982 | 2982 | this.message = function message(value) { | |
2983 | 2983 | messageDiv.innerHTML = value; | |
2984 | 2984 | }; | |
2985 | |||
2985 | 2986 | ||
2986 | 2987 | ||
2987 | 2988 | function PublishOptions() { |