/// <summary>
/// Triggered when the pane list is changed.
/// </summary>
private void OnPaneChanged(
object o,
EventArgs args)
{
// Change the pane
currentPane = panes[paneList.Active];
currentPane.Configure(Allocation.Width, Allocation.Height);
// Trigger a full redraw
QueueDraw();
}
/// <summary>
/// Triggered when the drawing area is configured.
/// </summary>
private void OnConfigure(
object obj,
ConfigureEventArgs args)
{
// Pull out some fields
EventConfigure ev = args.Event;
Window window = ev.Window;
int width = Allocation.Width;
int height = Allocation.Height;
// Create the backing pixmap
pixmap = new Pixmap(window, width, height, -1);
// Update the current pane
// TODO, there is a bug with this and I don't know why
if (currentPane != null)
{
currentPane.Configure(width, height - 50);
}
// Mark ourselves as done
args.RetVal = true;
}
/// <summary>
/// Triggered when the pane list is changed.
/// </summary>
private void OnPaneChanged(
object o,
EventArgs args)
{
// Change the pane
currentPane = panes[paneList.Active];
currentPane.Configure(Allocation.Width, Allocation.Height);
// Trigger a full redraw
QueueDraw();
}
