diff --git a/doc/js/linenumbers.js b/doc/js/linenumbers.js index cdea9af8..818728e1 100644 --- a/doc/js/linenumbers.js +++ b/doc/js/linenumbers.js @@ -97,6 +97,26 @@ class LineNumbers { this.map.set(key, `https://github.com/google-deepmind/mujoco/blob/main/src/${src}#L${i+1}`); } } + + // edge cases + if (src == 'user/user_api.cc') { + for (let i = 0; i < lines.length; i++) { + if (lines[i].startsWith('[[nodiscard]] int mj_recompile(')) { + const key = 'mj_recompile'; + this.map.set(key, `https://github.com/google-deepmind/mujoco/blob/main/src/${src}#L${i+1}`); + } + } + } else if (src == 'engine/engine_io.c') { + for (let i = 0; i < lines.length; i++) { + if (lines[i].startsWith('void mj_freeStack(')) { + const key = 'mj_freeStack'; + this.map.set(key, `https://github.com/google-deepmind/mujoco/blob/main/src/${src}#L${i+1}`); + } else if (lines[i].startsWith('void mj_markStack(')) { + const key = 'mj_markStack'; + this.map.set(key, `https://github.com/google-deepmind/mujoco/blob/main/src/${src}#L${i+1}`); + } + } + } } } diff --git a/src/render/render_context.c b/src/render/render_context.c index 653ab3ac..4c6c3879 100644 --- a/src/render/render_context.c +++ b/src/render/render_context.c @@ -1864,7 +1864,7 @@ void mjr_freeContext(mjrContext* con) { // resize offscreen buffers -MJAPI void mjr_resizeOffscreen(int width, int height, mjrContext* con) { +void mjr_resizeOffscreen(int width, int height, mjrContext* con) { if (con->offWidth == width && con->offHeight == height) { return; }