← Back to branch summary

~ubuntu-branches/ubuntu/maverick/gnat-gps/maverick

« back to all changes in this revision

Viewing changes to kernel/src/task_manager-gui.adb

  • Committer: Bazaar Package Importer
  • Author(s): Matthias Klose
  • Date: 2010-03-15 15:12:34 UTC
  • mfrom: (10.1.3 sid)
  • Revision ID: james.westby@ubuntu.com-20100315151234-2qyonhb0vh6wxb17
Tags: 4.3-5ubuntu1
BUild on armel.

Show diffs side-by-side

added added

removed removed

Lines of Context:
kernel/src/task_manager-gui.adb
1
1
-----------------------------------------------------------------------
2
2
--                               G P S                               --
3
3
--                                                                   --
 
4
--                  Copyright (C) 2003-2009, AdaCore                 --
4
5
--                                                                   --
5
6
-- GPS is free  software;  you can redistribute it and/or modify  it --
6
7
-- under the terms of the GNU General Public License as published by --
820
820
                  Set
821
821
                    (View.Tree.Model, View.Lines (Index),
822
822
                     Command_Progress_Column,
823
 
                     C_Proxy (Pix));
 
823
                     GObject (Pix));
824
824
                  Unref (Pix);
825
825
               end;
826
826
            end if;