mirror of
https://github.com/3b1b/manim.git
synced 2025-08-05 16:49:03 +00:00
Fix radius on dots
This commit is contained in:
parent
22d2819ecf
commit
981fe009e5
1 changed files with 1 additions and 1 deletions
|
@ -22,5 +22,5 @@ void main(){
|
||||||
gl_Position = get_gl_Position(point);
|
gl_Position = get_gl_Position(point);
|
||||||
float z = -10 * gl_Position.z;
|
float z = -10 * gl_Position.z;
|
||||||
float scaled_radius = radius * 1.0 / (1.0 - z);
|
float scaled_radius = radius * 1.0 / (1.0 - z);
|
||||||
gl_PointSize = (scaled_radius / pixel_size) + anti_alias_width;
|
gl_PointSize = 2 * ((scaled_radius / pixel_size) + anti_alias_width);
|
||||||
}
|
}
|
Loading…
Add table
Reference in a new issue