/*
  * Refreshes all fields displayed in the window according to
  * current system objects states.
  */
 private void refreshDisplay()
 {
     clearDisplay();
     lstCustomers.ItemsSource = mFacade.GetAllCustomerNbs();
     if (mFacade.IsACustomerLoaded())
     {
         lblCustNumberValue.Content = mFacade.GetCurrentCustNb();
         txtCustName.Text           = mFacade.GetCurrentCustName();
         txtCustAddress.Text        = mFacade.GetCurrentCustAdress();
     }
 }
        /*
         * Refreshes all booking detail fields displayed in the window
         * according to current booking state.
         */
        private void refreshBookDetailDisplay()
        {
            if (mFacade.IsABookingLoaded())
            {
                // update field contents:
                DateTime start;
                DateTime end;
                mFacade.GetCurrentBookDates(out start, out end);
                lblArrivalValue.Content   = start.ToString().Substring(0, 10);
                lblDepartureValue.Content = end.ToString().Substring(0, 10);
                lblCustNameValue.Content  = mFacade.GetCurrentCustName();
                lstGuests.Items.Clear();

                foreach (String g in mFacade.GetGuestNames())
                {
                    lstGuests.Items.Add(g);
                }

                // make labels visible:
                lblArrivalValue.Visibility   = Visibility.Visible;
                lblDepartureValue.Visibility = Visibility.Visible;
                lblCustNameValue.Visibility  = Visibility.Visible;
            }
            else
            {
                refreshDisplay();
            }
        }
        // METHODS RELATED TO CURRENT CUSTOMER:

        /*
         * Refreshes the customer fields displayed in the window.
         */
        private void refreshCustomerDisplay()
        {
            if (mFacade.IsACustomerLoaded())
            {
                lblCustNumberValue.Content
                    = mFacade.GetCurrentCustNb().ToString();
                lblCustNameValue.Content
                    = mFacade.GetCurrentCustName();
                lblCustAddressValue.Content
                    = mFacade.GetCurrentCustAdress();
            }
        }
        /*
         * Refreshes the customer fields displayed in the window.
         */
        private void refreshCustomerDisplay()
        {
            // update labels content:
            lblCustomerNameValue.Content = mFacade.GetCurrentCustName();
            lblCustomerNbValue.Content   = mFacade.GetCurrentCustNb().ToString();

            // make labels visible:
            lblCustomer.Visibility          = Visibility.Visible;
            lblCustomerNb.Visibility        = Visibility.Visible;
            lblCustomerNbValue.Visibility   = Visibility.Visible;
            lblCustomerName.Visibility      = Visibility.Visible;
            lblCustomerNameValue.Visibility = Visibility.Visible;
        }
        /*
         * Fills the labels of the invoice concerning the booking
         * details.
         */
        private void printDetails()
        {
            lblBookingNb.Content
                += " " + mFacade.GetCurrentBookNb().ToString();

            lblCustomerNb.Content
                += " " + mFacade.GetCurrentCustNb().ToString();

            lblCustomerDetails.Content
                += " " + mFacade.GetCurrentCustName();

            lblAddress.Content
                = mFacade.GetCurrentCustAdress();
        }