src/Pure/GUI/tree_view.scala
Tue, 19 Nov 2024 22:48:18 +0100 wenzelm suppress odd icons for documents and folders;
Tue, 19 Nov 2024 22:41:57 +0100 wenzelm support for modified tree cell renderer;
Mon, 18 Nov 2024 15:05:31 +0100 wenzelm clarified Tree_View.init_model: more uniform;
Thu, 07 Nov 2024 11:35:39 +0100 wenzelm revert 1206400b9b48: proper Node.unapply for Node.apply(null);
Wed, 06 Nov 2024 15:52:31 +0100 wenzelm clarified signature, with subtle change of semantics: proper non-null result;
Sun, 03 Nov 2024 21:04:12 +0100 wenzelm tuned comments;
Sun, 03 Nov 2024 20:53:12 +0100 wenzelm clarified signature;
Sun, 03 Nov 2024 20:05:06 +0100 wenzelm more robust;
Sun, 03 Nov 2024 20:01:26 +0100 wenzelm clarified signature;
Sun, 03 Nov 2024 19:38:30 +0100 wenzelm clarified signature: more explicit types;
less more (0) tip