// kijkt of er een DistrictGenerated button is ingedrukt.
public void DistrictButton_Click(object sender, EventArgs e)
{
ResetClickEventTwitterTag();
twitter_messages_scroll_panel.Controls.Clear();
Button clickedButton = (Button)sender;
// id van wijk ophalen
modelClass.map.idDistrict = Convert.ToInt32(clickedButton.Name);
//mag alleen aborten als er al een district geselecteerd is
if (modelClass.map.districtSelected == true)
{
modelClass.map.mapThread.Abort();
}
// wijk veranderen
modelClass.ChangeDistrict();
// verander geselecteerde label text
ChangeSelectedDistrictText(clickedButton.Text);
// twitter panel updaten
UpdateTwitterpanel();
// laat zien wat nodig is(refresh knop)
ShowWhatsNeeded();
main_menu_tabcontrol.SelectTab(0);
}