示例#1
0
 protected virtual void OnWindowManagerCheckToggled(object sender, System.EventArgs e)
 {
     if (window_manager_check.Active)
     {
         DefaultProvider.SetWindowManager();
     }
     WindowManager = window_manager_check.Active = DefaultProvider.IsWindowManager;
     window_manager_check.Sensitive = !window_manager_check.Active;
 }
示例#2
0
        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;
            }
        }