public SliderMoveEventArgs(int slider_position, string mapname, string filename) { this._slider_position = slider_position; this._mapname = mapname; this._filename = filename; }