|
/ . / Collaboratory / NodeGUI.py / PointerManager
This class will be responsible for managing the turning on/off of other
users pointers as they connect/disconnect from the session
|
Methods
|
|
|
|
disable_state
|
disable_state ( self )
|
|
|
rem_user
|
rem_user ( self, username )
|
|
|
hide_user
|
hide_user ( self, username )
|
|
|
raiseAllPointers
|
raiseAllPointers ( self, event=None )
|
|
|
show_user
|
show_user ( self, username )
|
|
|
hideAllUsers
|
hideAllUsers ( self, event=None )
|
|
|
add_user
|
add_user (
self,
username,
color,
)
|
|
|
get_state
|
get_state ( self )
|
|
|
move_user
|
move_user (
self,
username,
newX,
newY,
)
|
|
|
activate_state
|
activate_state ( self )
|
|
|
showAllUsers
|
showAllUsers ( self, event=None )
|
|
|
__init__
|
__init__ ( self, parent )
|
|
|