43
43
static QuickTaskStrip ()
45
45
EnableFancyFeatures.Changed += delegate {
46
PropertyService.Set ("ScrollBar.Mode", EnableFancyFeatures ? ScrollBarMode.Overview : ScrollBarMode.Normal);
46
PropertyService.Set ("ScrollBar.Mode", ScrollBarMode.Overview);
112
111
public QuickTaskStrip ()
114
if (EnableFancyFeatures) {
115
ScrollBarMode = PropertyService.Get ("ScrollBar.Mode", ScrollBarMode.Overview);
117
ScrollBarMode = ScrollBarMode.Normal;
113
ScrollBarMode = PropertyService.Get ("ScrollBar.Mode", ScrollBarMode.Overview);
119
114
PropertyService.AddPropertyHandler ("ScrollBar.Mode", ScrollBarModeChanged);
115
EnableFancyFeatures.Changed += HandleChanged;
120
116
Events |= EventMask.ButtonPressMask;
119
void HandleChanged (object sender, EventArgs e)
123
VScrollbar vScrollBar;
125
125
void SetupMode ()
127
127
if (adj == null || textEditor == null)
129
if (vScrollBar != null) {
130
vScrollBar.Destroy ();
134
130
if (mapMode != null) {
135
131
mapMode.Destroy ();
138
switch (ScrollBarMode) {
139
case ScrollBarMode.Normal:
140
vScrollBar = new VScrollbar (adj);
141
PackStart (vScrollBar, true, true, 0);
143
case ScrollBarMode.Overview:
144
mapMode = new QuickTaskOverviewMode (this);
145
PackStart (mapMode, true, true, 0);
147
case ScrollBarMode.Minimap:
148
mapMode = new QuickTaskMiniMapMode (this);
149
PackStart (mapMode, true, true, 0);
152
throw new ArgumentOutOfRangeException ();
134
if (EnableFancyFeatures) {
135
switch (ScrollBarMode) {
136
case ScrollBarMode.Overview:
137
mapMode = new QuickTaskOverviewMode (this);
138
PackStart (mapMode, true, true, 0);
140
case ScrollBarMode.Minimap:
141
mapMode = new QuickTaskMiniMapMode (this);
142
PackStart (mapMode, true, true, 0);
145
throw new ArgumentOutOfRangeException ();
161
155
textEditor = null;
162
156
providerTasks = null;
163
157
PropertyService.RemovePropertyHandler ("ScrollBar.Mode", ScrollBarModeChanged);
158
EnableFancyFeatures.Changed -= HandleChanged;
166
161
void ScrollBarModeChanged (object sender, PropertyChangedEventArgs args)
168
163
var newMode = (ScrollBarMode)args.NewValue;
169
if (newMode == this.ScrollBarMode)
171
164
this.ScrollBarMode = newMode;
227
220
void GotoPgDown ()
229
222
VAdjustment.Value = Math.Min (VAdjustment.Upper, VAdjustment.Value + VAdjustment.PageSize);
232
[CommandUpdateHandler (ScrollbarCommand.ShowScrollBar)]
233
void UpdateShowScrollBar (CommandInfo info)
235
info.Visible = EnableFancyFeatures;
236
info.Checked = ScrollBarMode == ScrollBarMode.Normal;
239
[CommandHandler (ScrollbarCommand.ShowScrollBar)]
240
void ShowScrollBar ()
242
ScrollBarMode = ScrollBarMode.Normal;
245
225
[CommandUpdateHandler (ScrollbarCommand.ShowTasks)]
246
226
void UpdateShowMap (CommandInfo info)