activate_file

Description:

public void activate_file (File? file)

Activate a file (deactivates previous active file). Client-local only: updates is_active, emits active_file_changed. No daemon RPC.

file	The file to activate