zakarya/puzzles
1
0
Fork 0
mirror of git://git.tartarus.org/simon/puzzles.git synced 2025-04-21 08:01:30 -07:00
Code Issues Packages Projects Releases Wiki Activity

js: Remove support for creating the status bar in JavaScript

Browse Source 
Now we depend on its being in the HTML.
This commit is contained in:
Ben Harris
2022-11-20 19:04:53 +00:00
parent e8cdac58e5
commit b967a3ea86
2 changed files with 2 additions and 21 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
emcc.c
View File

@ -79,7 +79,6 @@ extern int js_canvas_new_blitter(int w, int h);
extern void js_canvas_free_blitter(int id); extern void js_canvas_free_blitter(int id);
extern void js_canvas_copy_to_blitter(int id, int x, int y, int w, int h); extern void js_canvas_copy_to_blitter(int id, int x, int y, int w, int h);
extern void js_canvas_copy_from_blitter(int id, int x, int y, int w, int h); extern void js_canvas_copy_from_blitter(int id, int x, int y, int w, int h);
extern void js_canvas_make_statusbar(void);
extern void js_canvas_remove_statusbar(void); extern void js_canvas_remove_statusbar(void);
extern void js_canvas_set_statusbar(const char *text); extern void js_canvas_set_statusbar(const char *text);
extern void js_canvas_set_size(int w, int h); extern void js_canvas_set_size(int w, int h);
@ -955,11 +954,9 @@ int main(int argc, char **argv)
resize(); resize();
/* /*
* Create a status bar, if needed. * Remove the status bar, if not needed.
*/ */
if (midend_wants_statusbar(me)) if (!midend_wants_statusbar(me))
js_canvas_make_statusbar();
else
js_canvas_remove_statusbar(); js_canvas_remove_statusbar();
/* /*

16
emcclib.js
View File

@ -513,22 +513,6 @@ mergeInto(LibraryManager.library, {
x, y, w, h); x, y, w, h);
}, },
/*
* void js_canvas_make_statusbar(void);
*
* Cause a status bar to exist. Called at setup time if the puzzle
* back end turns out to want one.
*/
js_canvas_make_statusbar: function() {
if (statusbar === null) {
var statusholder = document.getElementById("statusbarholder");
statusbar = document.createElement("div");
statusbar.id = "statusbar";
statusbar.appendChild(document.createTextNode(" "));
statusholder.appendChild(statusbar);
}
},
/* /*
* void js_canvas_remove_statusbar(void); * void js_canvas_remove_statusbar(void);
* *