[gnome-builder] colorpicker: add some TODO comments

[Sébastien Lafargue <slafargue src gnome org>]

commit eaa3e329b7d1108274d5565f6d1e97b449ef934d
Author: Sebastien Lafargue <slafargue gnome org>
Date:   Wed Jul 20 11:59:04 2016 +0200

    colorpicker: add some TODO comments

 .../color-picker/gb-color-picker-workbench-addin.c |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/plugins/color-picker/gb-color-picker-workbench-addin.c 
b/plugins/color-picker/gb-color-picker-workbench-addin.c
index 300f807..89078a2 100644
--- a/plugins/color-picker/gb-color-picker-workbench-addin.c
+++ b/plugins/color-picker/gb-color-picker-workbench-addin.c
@@ -303,7 +303,7 @@ view_remove_dock (GbColorPickerWorkbenchAddin *self,
     remove_dock (self);
   else
     {
-      //gtk_widget_set_sensitive (GTK_WIDGET (self->dock), FALSE);
+      /* TODO: use insensitive panel state */
       gtk_widget_set_opacity (GTK_WIDGET (self->dock), 0.2);
     }
 }
@@ -449,8 +449,8 @@ active_view_changed_cb (GbColorPickerWorkbenchAddin *self,
       state = get_menu_action_state (self, IDE_EDITOR_VIEW (self->active_view));
       if (self->dock != NULL && self->dock_count > 0)
         {
+          /* TODO: use insensitive panel state */
           gtk_widget_set_opacity (GTK_WIDGET (self->dock), state ? 1 : 0.2);
-          //gtk_widget_set_sensitive (GTK_WIDGET (self->dock), state);
         }
     }
 }