3 private void SendLogAtClient(Param1<string> p)
5 PluginDeveloper m = PluginDeveloper.Cast(
GetPlugin(PluginDeveloper) );
9 m.SendServerLogToClient(p.param1);
13 private void ScriptConsoleAddPrint(Param1<string> p)
18 ScriptConsole scripted_console = ScriptConsole.Cast( ui_menu );
25 private void ScriptConsoleHistoryBack()
30 ScriptConsole scriptConsole = ScriptConsole.Cast( ui_menu );
34 handler.HistoryBack();
39 private void ScriptConsoleHistoryForward()
44 ScriptConsole scriptConsole = ScriptConsole.Cast( ui_menu );
48 handler.HistoryForward();
54 private void SceneEditorCommand(
Param params)
59 SceneEditorMenu editor_menu = SceneEditorMenu.Cast( ui_menu );
60 editor_menu.SceneEditorCommand( params );
64 private void MissionGameplayHideInventory()
66 MissionGameplay
mission = MissionGameplay.Cast(
GetGame().GetMission() );
78 SendLogAtClient(Param1<string>.Cast( params ));
81 ScriptConsoleAddPrint(Param1<string>.Cast( params ));
84 SceneEditorCommand( params );
87 MissionGameplayHideInventory();
92 ScriptConsoleHistoryBack();
95 ScriptConsoleHistoryForward();