File indexing completed on 2025-03-09 04:10:19
0001 <?xml version="1.0" encoding="utf-8"?> 0002 <!DOCTYPE html> 0003 0004 <html xmlns="http://www.w3.org/1999/xhtml"> 0005 <head><title>Filter Manager Plugin Manual</title> 0006 </head> 0007 <body> 0008 <h1 id="filter-manager">Filter Manager</h1> 0009 <p>The Filter Manager Plugin allows you to select a document or one of its layers and quickly apply a filter.</p> 0010 <h2 id="basic-options">Basic Options</h2> 0011 <dl> 0012 <dt>Documents</dt> 0013 <dd>A the list of open documents to choose from, with their sublayers.</dd> 0014 <dt>Filter</dt> 0015 <dd>A list of filters, select the filter you wish to apply</dd> 0016 </dl> 0017 </body> 0018 </html>