User:Dan Polansky: Difference between revisions

From FreeMind
Jump to navigationJump to search
(+public domain notice)
Line 1: Line 1:
<table><tr><td width=600>  
<table><tr><td width=600>  


'''Daniel Polansky''' was FreeMind's director. Switching to I form. My favorite FreeMind related links follow.
'''Daniel Polansky''' was FreeMind's director. Switching to I form.
 
I release all my contributions to this FreeMind wiki into public domain.


==Block==
==Block==

Revision as of 15:00, 6 January 2010

Daniel Polansky was FreeMind's director. Switching to I form.

I release all my contributions to this FreeMind wiki into public domain.

Block

Links

File format in 0.9.0

File format - changes in 0.9.0 against 0.8.0:

  • HTML nodes — HTML text of nodes is stored directly in the XML in the element "richcontent" of the element "node", instead of being stored with escaped special character such as "&lt;b&gt;boldfaced text&lt;/b&gt;" in the attribute "text" of the element "node"
  • Hyperlinks — hyperlinks to local files whose names contain spaces are stored differently, using "%20"; also applies to the "%" character I guess
  • Attributes — elements for attributes have been added: "attributes" and "attribute" within "node", and also some at the beginning of the mind map; see also Attribute#Storage_in_XML
  • ... more?

Notes:

  • Scripts are stored in the attributes of hte attribute function, so require no new XML elements beyond those of attributes.

Hierarchy

Hierarchical or tree FreeMind versus network, general graph or DAG FreeMind:

SimplyHTML

MediaWiki

Customization of MediaWiki in FreeMind wiki, mostly in the file "LocalSettings.php":

  • Spam
    • Spam configuration filter in LocalSettings.php:
    • $wgSpamRegex = "/[^\x{0020}-\x{3dff}\s]|display:none|freeiconsweb|overflow:\s*auto;\s*height:\s*[0-4]px;/iu";
  • Lexical color highlighting
    • The "GeSHiHighlight" extension for highlighting Groovy scripts:
    • include("extensions/GeSHiHighlight.php");
  • require("extensions/FreeMind.php");
  • $wgFileExtensions = array( 'png', 'gif', 'jpg', 'jpeg', 'mm' );
  • Squid caching[1]
    • $wgUseSquid = true;
    • $wgSquidServers = array('127.0.0.1');

How-tos: