branch webkitgtk-info deleted (was cfced1d90d)

[Gavin D. Smith]

gavin pushed a change to branch webkitgtk-info.

     was cfced1d90d better quoting and recognize manual/html_node substring

This change permanently discards the following revisions:

 discard cfced1d90d better quoting and recognize manual/html_node substring
 discard 83f03246bf fix toc selection on new manual
 discard 5884b7c87a new-node and inform-new-node messages
 discard 095631c12e inject js and re-write URLs
 discard f4f758725f change search path to /usr/share/doc plus an extra level of 
directories.  Allow name of directory containing manual to end with .html.  
Error message if manual not found.
 discard fe8385b73c open external links with xdg-open
 discard 3785697055 untrack config.in
 discard 8f4009ea08 clear node pointers on new node
 discard 0f5faef1e6 use webkit_dom_document_query_selector to get next, prev, up
 discard c766634c90 check if toc_paths exists before updating sidebar
 discard 092fc25eb0 move infog directory up a level
 discard 939448d54c declare variables as static globals
 discard 2d8ead6a55 no focus on toc button
 discard c53ce02a1f implement search path
 discard 25f16ba113 update TOC selection upon node change
 discard 571cf325ce hide toc button and other changes
 discard 197497d8d0 fix key press in toc sidebar
 discard 7789cad763 no focus on click in toolbar
 discard eac0e05f9e icons for buttons
 discard 4f9a9200f4 ellipsize toc
 discard 5b0f04099f add README
 discard 486c03d7f2 finish loading one index before trying to load the next
 discard 16902302df account for toc sub-menus of only a single item
 discard d130ab4008 avoid access to undefined iter
 discard 7354e6f843 avoid checking INFO_HTML_DIR in main.c
 discard 70f1c1bd1c implement button to choose a new manual
 discard 98216461f4 remove unused code
 discard 5c793d1924 move locate_manual call to main thread
 discard ce6523c068 hide index lookup bar more generally
 discard 4fd6fde404 implement help message
 discard 6eb6758b25 implement back button
 discard 2c378e40b2 regenerate test manuals without section numbers
 discard 1473fa9379 layout tweaking
 discard 85423fa9cd add header bar and buttons
 discard 35acac0139 correct tree layout for sidebar toc
 discard f82a5809c5 continue tree layout for toc
 discard a0bd192906 start on displaying tree in toc
 discard bd95e8f359 send the whole of the toc, not just the top-level entries
 discard 0e500d11da strip html tags from toc
 discard bc8e5d7df9 change selection mode to avoid gtk_tree_store_clear causing 
callbacks
 discard 6d142f58ef avoid null argument
 discard d3798882f2 use tree store instead of list store
 discard 061efbe55b untrack a file
 discard d9c5561b2c cleanup on signal
 discard ad1b71d619 use packetize function to send index
 discard 5be884d94f make toc panel scrollable
 discard 8669b05745 reset toc for new manual
 discard 7db6c15881 split toc into packets
 discard c1d8699636 make toc clickable
 discard be103d4a71 send hrefs for toc
 discard 9d35309864 hide header on sidebar
 discard dbef396ed2 put toc in resizable pane
 discard cb5b570d45 display TOC in sidebar
 discard 8a6a3bda56 start at creating a toc sidebar - get the toc from the top 
node
 discard 7d3d51d7af call g_object_unref
 discard 483909eb45 Do not create socket file in web process
 discard 3bc7dbd106 move a function definition
 discard 381276e6f9 hide index search if return is pressed
 discard 0c971d710e do not hardcode path to .libs
 discard 4a544e4ccf rename program to infog
 discard d5aef8ad04 fix loading multiple indices
 discard 78a462d007 indicate debugging output from subthread
 discard f6c4a5367f remove unused code
 discard c1a1436d84 check rel attribute to find index nodes
 discard 37a8bcc017 do not hard code path to index node and fix null deref in 
extension.c
 discard d44b5b69bb Disable deprecation warnings
 discard 90b0538e2c code in working state
 discard f90bc08d8f avoid passing a null pointer
 discard 49e3e30a80 check INFO_HTML_DIR is set
 discard 00ed5b6170 build with webkit2gtk-4.0 by removing use of 
WebKitWebViewGroup
 discard 96c87f8ca4 try to build against webkit2gtk-4.0
 discard 05d0e727ec use a build-aux dir
 discard 9e3c709f1c add autogen.sh script
 discard 47a7998c98 actually load the new indices and replace the completion 
list
 discard bea9f10375 find index nodes and send to main process
 discard 33e8bfc255 inform main process of manual change
 discard 2da60d1acd intercept all links and do path search
 discard d8c678c752 block external links
 discard 7fe9e8d008 move code to load indices to function
 discard 2f1a40327f use g_object_set_data on WebKitWebPage to record that an 
index is being loaded.  this allows a single web process to be used.
 discard dd3679d679 use environment variable INFO_HTML_DIR instead of 
hardcoding paths
 discard ba947ce159 hide index lookup box after selection
 discard bab560c360 implement index entry selection
 discard 99d3e2dfb8 use input box instead of combo box for index lookup
 discard 7a4e5ac471 return value from event handler
 discard d9522ce46e add a combo box which will be used for index search
 discard 7e56af2bf3 get index data
 discard bb2596a00f support next prev up keys
 discard 1f0d26ce2a add a message type
 discard d3e6e8370c make n key work more than once
 discard a05c056454 do not remove event source after one go
 discard 9dd080f0f7 get socket events with g_socket_create_source from GIO
 discard d016db8faa Commit a start of creating a help browser with WebKitGTK.