Home

Contribute

Source code


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

2010-05-31  Alexander Kurtakov  <akurtako@redhat.com>

	* build.properties: Add icons to bin.includes.

2010-02-03  Andrew Overholt  <overholt@redhat.com>

	* plugin.xml: Add "(Incubation)" and Provider.

2009-12-09  Alexander Kurakov  <akurtakov@redhat.com>

	* src/org/eclipse/linuxtools/man/preferences/ManPathPage.java: New file.
	* src/org/eclipse/linuxtools/man/preferences/PreferenceConstants.java: New file.
	* src/org/eclipse/linuxtools/man/preferences/PreferenceInitializer.java: New file.
	* .settings/org.eclipse.jdt.core.prefs: Enable project specific settings.
	* .settings/org.eclipse.jdt.ui.prefs: Likewise.
	* plugin.xml: Add preferences.
	* src/org/eclipse/linuxtools/man/parser/ManParser.java (getRawManPage): Use the executable from the preferences.

2009-11-25  Alexander Kurakov  <akurtakov@redhat.com>

	* src/org/eclipse/linuxtools/man/parser/ManPage.java (getStrippedHtmlPage): Fix AIOOB.
	* src/org/eclipse/linuxtools/man/views/ManView.java (createPartControl): Do not set default man page.