package Ġru . spb . mit . rob or og ue like . view Ċ Ċ import Ġorg . hex works . z ir con . api . Color Themes Ċ import Ġorg . hex works . z ir con . api . Components Ċ import Ġorg . hex works . z ir con . api . component . Component Alignment Ċ import Ġorg . hex works . z ir con . api . extensions . on Component Event Ċ import Ġorg . hex works . z ir con . api . graphics . Box Type Ċ import Ġorg . hex works . z ir con . api . mvc . base . Base View Ċ import Ġorg . hex works . z ir con . api . u ie vent . Component EventType Ċ import Ġorg . hex works . z ir con . api . u ie vent . Processed Ċ import Ġkotlin . system . exit Process Ċ Ċ /** Ċ Ġ* ĠThis Ġclass Ġrepresents ĠGUI Ġview Ġof Ġdisplaying Ġwin Ġor Ġlose Ġmessage Ġat Ġthe Ġend Ġof Ġthe Ġgame Ċ Ġ*/ Ċ class ĠEnd game Message View ( val Ġmsg : ĠString Ġ= Ġ" You Ġwon !") Ġ: ĠBase View () Ġ{ ĊĊĠĠĠ Ġoverride Ġval Ġtheme Ġ= ĠColor Themes . after glow () ĊĊĠĠĠ Ġoverride Ġfun Ġon Dock () Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġheader Ġ= ĠComponents . textBox () ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ. with Content Width ( 3 0 ) ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ. add Header ( msg ) ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ. with Alignment Within ( screen , ĠComponent Alignment . CENTER ) ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ. build () ĊĠĠĠĠĠĠĠ Ġval Ġrestart Button Ġ= ĠComponents . button () ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ. with Alignment Around ( header , ĠComponent Alignment . BOTTOM _ LEFT ) ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ. with Text (" Restart ") ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ. wrap Side s ( false ) ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ. wrap With Box () ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ. with Box Type ( Box Type . SINGLE ) ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ. build () ĊĠĠĠĠĠĠĠ Ġval Ġexit Button Ġ= ĠComponents . button () ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ. with Alignment Around ( header , ĠComponent Alignment . BOTTOM _ RIGHT ) ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ. with Text (" Quit ") ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ. wrap Side s ( false ) ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ. wrap With Box () ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ. with Box Type ( Box Type . SINGLE ) ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ. build () ĊĊĠĠĠĠĠĠĠ Ġrestart Button . on Component Event ( Component EventType . ACTIV ATED ) Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġreplace With ( Play View ()) ĊĠĠĠĠĠĠĠĠĠĠĠ Ġclose () ĊĠĠĠĠĠĠĠĠĠĠĠ ĠPro cessed ĊĠĠĠĠĠĠĠ Ġ} ĊĊĠĠĠĠĠĠĠ Ġexit Button . on Component Event ( Component EventType . ACTIV ATED ) Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġexit Process ( 0 ) ĊĠĠĠĠĠĠĠ Ġ} ĊĊĠĠĠĠĠĠĠ Ġscreen . addComponent ( header ) ĊĠĠĠĠĠĠĠ Ġscreen . addComponent ( restart Button ) ĊĠĠĠĠĠĠĠ Ġscreen . addComponent ( exit Button ) ĊĠĠĠ Ġ} Ċ }