dino ~master (2018-05-16T21:31:09Z)
Dub
Repo
Player.dead
player
Player
Dead Player has a different texture
class
Player
bool
dead
;
Meta
Source
See Implementation
player
Player
constructors
this
functions
displacement
displacement_tot
gravity
jump
position
size
texture
update
static variables
gravity_acc
horizontal_offset
initial_jump_speed
size_crouching
size_normal
variables
dead
height
speed
vert_velocity
window_height
Dead Player has a different texture