Add source code links in docs for remaining API functions.
PiperOrigin-RevId: 692728907 Change-Id: I145eb47453e6aa017505d53d3e17215959252e3d
This commit is contained in:
committed by
Copybara-Service
parent
efa5709c94
commit
c168ac3397
@@ -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}`);
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@@ -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;
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user