dino ~master (2018-05-16T21:31:09Z)
Dub
Repo
Player.this
player
Player
Default constructor
class
Player
this
(
)
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
Default constructor