sketch-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[patch #4695] Manage tools on a per-editor basis


From: Bernhard Herzog
Subject: [patch #4695] Manage tools on a per-editor basis
Date: Sun, 11 Dec 2005 00:56:40 +0000
User-agent: Mozilla/5.0 Galeon/1.2.5 (X11; Linux i686; U; ) Gecko/20020610 Debian/1.2.5-1

URL:
  <http://savannah.nongnu.org/patch/?func=detailitem&item_id=4695>

                 Summary: Manage tools on a per-editor basis
                 Project: Skencil
            Submitted by: bh
            Submitted on: Sun 12/11/05 at 00:56
                Category: None
                Priority: 5 - Normal
                  Status: None
                 Privacy: Public
             Assigned to: None
        Originator Email: 
             Open/Closed: Open

    _______________________________________________________

Details:

Currently Skencil has one "global" tool managed by the context.  For
temporary tools and perhaps in general, it may be better to manage the tools
on a per-editor basis, so that different editors may have different tools. 

This patch make the necessary changes.  It's a relatively quick hack to get
it running so there may be some bugs left.  Also missing are suitable test
cases.






    _______________________________________________________

File Attachments:


-------------------------------------------------------
Date: Sun 12/11/05 at 00:56  Name: per-editor-tools.diff  Size: 10.92KB   By:
bh
Patch for per-editor tools
<http://savannah.nongnu.org/patch/download.php?item_id=4695&item_file_id=5576>

    _______________________________________________________

Reply to this item at:

  <http://savannah.nongnu.org/patch/?func=detailitem&item_id=4695>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.nongnu.org/





reply via email to

[Prev in Thread] Current Thread [Next in Thread]