void HandleCompositedChanged(object o, EventArgs args)
{
// disable zoom
if (!Gdk.Screen.Default.IsComposited)
{
zoom_enabled = false;
}
else
{
zoom_enabled = GetOption <bool?> ("ZoomEnabled", true);
}
OnZoomEnabledChanged();
zoom_checkbutton.Sensitive = !PanelMode && Gdk.Screen.Default.IsComposited;
zoom_scale.Sensitive = zoom_checkbutton.Sensitive && zoom_checkbutton.Active;
zoom_checkbutton.Active = ZoomEnabled && Gdk.Screen.Default.IsComposited;
// disable 3d
if (!Gdk.Screen.Default.IsComposited)
{
three_dimensional = false;
}
else
{
three_dimensional = GetOption <bool?> ("ThreeDimensional", false);
}
OnThreeDimensionalChanged();
threedee_check.Sensitive = Position == DockPosition.Bottom && Gdk.Screen.Default.IsComposited;
threedee_check.Active = ThreeDimensional && Gdk.Screen.Default.IsComposited;
// disable hiding
if (!Gdk.Screen.Default.IsComposited)
{
hide_type = AutohideType.None;
}
else
{
try {
hide_type = (AutohideType)Enum.Parse(typeof(AutohideType),
GetOption("Autohide", AutohideType.None.ToString()));
} catch {
hide_type = AutohideType.None;
}
}
OnAutohideChanged();
autohide_box.Sensitive = Gdk.Screen.Default.IsComposited;
autohide_box.Active = (int)Autohide;
fade_on_hide_check.Sensitive = (int)Autohide > 0 && Gdk.Screen.Default.IsComposited;
}
void BuildOptions()
{
try {
Autohide = (AutohideType)Enum.Parse(typeof(AutohideType),
GetOption("Autohide", AutohideType.None.ToString()));
} catch {
Autohide = AutohideType.None;
}
try {
Position = (DockPosition)Enum.Parse(typeof(DockPosition),
GetOption("Position", DockPosition.Bottom.ToString()));
} catch {
Position = DockPosition.Bottom;
}
if (WindowManager)
{
DefaultProvider.SetWindowManager();
}
// on first run, add default plugins to the dock
if (FirstRun)
{
Log <DockPreferences> .Info("Adding default plugins.");
foreach (AbstractDockItemProvider provider in PluginManager.ItemProviders)
{
item_providers.Add(provider);
}
SyncPlugins();
}
autohide_box.Active = (int)Autohide;
autohide_box.Sensitive = Gdk.Screen.Default.IsComposited;
UpdateAutohideDescription();
fade_on_hide_check.Sensitive = (int)Autohide > 0 && Gdk.Screen.Default.IsComposited;
panel_mode_button.Active = PanelMode;
zoom_checkbutton.Active = ZoomEnabled && Gdk.Screen.Default.IsComposited;
zoom_checkbutton.Sensitive = !PanelMode && Gdk.Screen.Default.IsComposited;
zoom_scale.Value = ZoomPercent;
zoom_scale.Sensitive = zoom_checkbutton.Sensitive && zoom_checkbutton.Active;
icon_scale.Value = IconSize;
fade_on_hide_check.Active = FadeOnHide;
threedee_check.Active = ThreeDimensional && Gdk.Screen.Default.IsComposited;
threedee_check.Sensitive = Position == DockPosition.Bottom && Gdk.Screen.Default.IsComposited;
window_manager_check.Active = DefaultProvider.IsWindowManager;
window_manager_check.Sensitive = !window_manager_check.Active;
DefaultProvider.WindowManagerChanged += delegate {
WindowManager = window_manager_check.Active = DefaultProvider.IsWindowManager;
window_manager_check.Sensitive = !window_manager_check.Active;
};
if (!Gdk.Screen.Default.IsComposited)
{
zoom_enabled = false;
three_dimensional = false;
hide_type = AutohideType.None;
autohide_box.Active = (int)Autohide;
}
}
