diff options
| author | Matthias Melcher <fltk@matthiasm.com> | 2010-04-11 20:23:38 +0000 |
|---|---|---|
| committer | Matthias Melcher <fltk@matthiasm.com> | 2010-04-11 20:23:38 +0000 |
| commit | a73a70a2c7be130175784439b9e13a273f04a988 (patch) | |
| tree | 0b226cd61393c5990174056169fdb07103eb0b72 /fluid | |
| parent | ed2870637f14fd9ef3b12d3040d89eec25194788 (diff) | |
Fluid IDE tools: added some more human readable annotations to the database
git-svn-id: file:///fltk/svn/fltk/branches/branch-1.3@7483 ea41ed52-d2ee-0310-a9c1-e6b18d33e121
Diffstat (limited to 'fluid')
| -rw-r--r-- | fluid/ide_support.cxx | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/fluid/ide_support.cxx b/fluid/ide_support.cxx index f63d30683..e3d1896c6 100644 --- a/fluid/ide_support.cxx +++ b/fluid/ide_support.cxx @@ -192,13 +192,19 @@ Fl_Target_Prefs::Fl_Target_Prefs(Fl_Preferences::ID id) Fl_Preferences::ID Fl_Target_Prefs::add_source(Fl_IDE_Prefs &fdb, const char *pathAndName) { Fl_IDE_Prefs file(fdb.add_with_key("pathAndName", pathAndName)); Fl_IDE_Prefs p(*this, "sources"); - return p.add_with_key("refUUID", file.name()); + Fl_Preferences::ID id = p.add_with_key("refUUID", file.name()); + Fl_Preferences ref(id); + ref.set("(filename)", pathAndName); + return id; } Fl_Preferences::ID Fl_Target_Prefs::add_fl(Fl_IDE_Prefs &fdb, const char *pathAndName) { Fl_IDE_Prefs file(fdb.add_with_key("pathAndName", pathAndName)); Fl_IDE_Prefs p(*this, "fl"); - return p.add_with_key("refUUID", file.name()); + Fl_Preferences::ID id = p.add_with_key("refUUID", file.name()); + Fl_Preferences ref(id); + ref.set("(filename)", pathAndName); + return id; } Fl_Preferences::ID Fl_Target_Prefs::depends_on(Fl_IDE_Prefs &dep) { @@ -215,7 +221,10 @@ Fl_Preferences::ID Fl_Target_Prefs::add_lib(Fl_IDE_Prefs &lib) { Fl_Preferences::ID Fl_Target_Prefs::add_external_lib(Fl_IDE_Prefs &fdb, const char *pathAndName) { Fl_IDE_Prefs file(fdb.add_with_key("pathAndName", pathAndName)); Fl_IDE_Prefs p(*this, "externals"); - return p.add_with_key("refUUID", file.name()); + Fl_Preferences::ID id = p.add_with_key("refUUID", file.name()); + Fl_Preferences ref(id); + ref.set("(filename)", pathAndName); + return id; } |
