--- openide/src/org/openide/loaders/DataNode.java 3 Jul 2002 00:21:30 -0000 1.71 +++ openide/src/org/openide/loaders/DataNode.java 21 Aug 2002 05:59:11 -0000 @@ -361,6 +361,28 @@ } }); */ + // Size property + try { + p = new PropertySupport.Reflection( + obj.getPrimaryFile(), Boolean.TYPE, "getSize", null );//NOI18N + p.setName("size"); + p.setDisplayName("size"); + p.setShortDescription("size"); + ss.put(p); + } catch (Exception ex) { + throw new InternalError(); + } + // Last Modified Property + try { + p = new PropertySupport.Reflection( + obj.getPrimaryFile(), java.util.Date.class, "lastModified", null );//NOI18N + p.setName("lastModified"); + p.setDisplayName("lastModified"); + p.setShortDescription("lastModified"); + ss.put(p); + } catch (Exception ex) { + throw new InternalError(); + } return s; }