public void ReadXml(System.Xml.XmlReader reader)
{
reader.Read();
while (reader.NodeType != XmlNodeType.EndElement)
{
WindowPosition p = new WindowPosition();
reader.ReadStartElement("window");
string name = reader.ReadElementString("name");
p.state =
(FormWindowState)TypeDescriptor.GetConverter(typeof(FormWindowState))
.ConvertFromString(reader.ReadElementString("state"));
p.rect =
(Rectangle)TypeDescriptor.GetConverter(typeof(Rectangle))
.ConvertFromString(reader.ReadElementString("position"));
reader.ReadEndElement();
this.Add(name, p);
}
reader.ReadEndElement();
}
/// <summary>
/// Save the position of a form to the user settings. Hides the window
/// as a side-effect.
/// </summary>
/// <param name="name">The name to use when writing the position to the
/// settings</param>
protected void SavePosition(String name)
{
WindowPosition p = new WindowPosition();
// Get the windows's visibility state:
p.state =
this.WindowState == FormWindowState.Maximized ?
FormWindowState.Maximized : FormWindowState.Normal;
// Get the window's position:
p.rect = this.WindowState == FormWindowState.Normal ?
this.DesktopBounds : this.RestoreBounds;
// Write to the user settings:
if (GitUI.Properties.Settings.Default.WindowPositions == null)
GitUI.Properties.Settings.Default.WindowPositions
= new WindowPositionList();
GitUI.Properties.Settings.Default.WindowPositions[name] = p;
GitUI.Properties.Settings.Default.Save();
}
/// <summary>
/// Save the position of a form to the user settings. Hides the window
/// as a side-effect.
/// </summary>
/// <param name = "name">The name to use when writing the position to the
/// settings</param>
private void SavePosition(String name)
{
try
{
var rectangle =
WindowState == FormWindowState.Normal
? DesktopBounds
: RestoreBounds;
var formWindowState =
WindowState == FormWindowState.Maximized
? FormWindowState.Maximized
: FormWindowState.Normal;
// Write to the user settings:
if (Properties.Settings.Default.WindowPositions == null)
Properties.Settings.Default.WindowPositions = new WindowPositionList();
WindowPosition windowPosition = (WindowPosition)Properties.Settings.Default.WindowPositions[name];
// Don't save location when we center modal form
if (windowPosition != null && Owner != null && _windowCentred)
{
if (rectangle.Width <= windowPosition.Rect.Width && rectangle.Height <= windowPosition.Rect.Height)
rectangle.Location = windowPosition.Rect.Location;
}
var position = new WindowPosition(rectangle, formWindowState);
Properties.Settings.Default.WindowPositions[name] = position;
Properties.Settings.Default.Save();
}
catch (ConfigurationException)
{
//TODO: howto restore a corrupted config? Properties.Settings.Default.Reset() doesn't work.
}
}
/// <summary>
/// Save the position of a form to the user settings. Hides the window
/// as a side-effect.
/// </summary>
/// <param name = "name">The name to use when writing the position to the
/// settings</param>
private void SavePosition(String name)
{
try
{
var rectangle =
WindowState == FormWindowState.Normal
? DesktopBounds
: RestoreBounds;
var formWindowState =
WindowState == FormWindowState.Maximized
? FormWindowState.Maximized
: FormWindowState.Normal;
// Write to the user settings:
if (_windowPositionList == null)
_windowPositionList = WindowPositionList.Load();
WindowPosition windowPosition = _windowPositionList.Get(name);
// Don't save location when we center modal form
if (windowPosition != null && Owner != null && _windowCentred)
{
if (rectangle.Width <= windowPosition.Rect.Width && rectangle.Height <= windowPosition.Rect.Height)
rectangle.Location = windowPosition.Rect.Location;
}
var position = new WindowPosition(rectangle, formWindowState, name);
_windowPositionList.AddOrUpdate(position);
_windowPositionList.Save();
}
catch (Exception)
{
//TODO: howto restore a corrupted config?
}
}
/// <summary>
/// Save the position of a form to the user settings. Hides the window
/// as a side-effect.
/// </summary>
/// <param name = "name">The name to use when writing the position to the
/// settings</param>
protected void SavePosition(String name)
{
var rectangle =
WindowState == FormWindowState.Normal
? DesktopBounds
: RestoreBounds;
var formWindowState =
WindowState == FormWindowState.Maximized
? FormWindowState.Maximized
: FormWindowState.Normal;
var position = new WindowPosition(rectangle, formWindowState);
// Write to the user settings:
if (Properties.Settings.Default.WindowPositions == null)
Properties.Settings.Default.WindowPositions = new WindowPositionList();
Properties.Settings.Default.WindowPositions[name] = position;
Properties.Settings.Default.Save();
}
public void AddOrUpdate(WindowPosition pos)
{
WindowPositions.RemoveAll(r => r.Name == pos.Name);
WindowPositions.Add(pos);
}
/// <summary>
/// Save the position of a form to the user settings. Hides the window
/// as a side-effect.
/// </summary>
/// <param name = "name">The name to use when writing the position to the
/// settings</param>
protected void SavePosition(String name)
{
try
{
var rectangle =
WindowState == FormWindowState.Normal
? DesktopBounds
: RestoreBounds;
var formWindowState =
WindowState == FormWindowState.Maximized
? FormWindowState.Maximized
: FormWindowState.Normal;
var position = new WindowPosition(rectangle, formWindowState);
// Write to the user settings:
if (Properties.Settings.Default.WindowPositions == null)
Properties.Settings.Default.WindowPositions = new WindowPositionList();
Properties.Settings.Default.WindowPositions[name] = position;
Properties.Settings.Default.Save();
}
catch (ConfigurationException)
{
//TODO: howto restore a corrupted config? Properties.Settings.Default.Reset() doesn't work.
}
}
public void AddOrUpdate(WindowPosition pos)
{
WindowPositions.RemoveAll(r => r.Name == pos.Name);
WindowPositions.Add(pos);
}
