10 commits

Author	SHA1	Message	Date
yueh	24224a450b	Added an option to toggle oredict subsitutions for patterns. ... It adds a backward compatibility to convert current patterns to use oredict by default, which should be removed with rv4 stable. Closes #1156	2015-10-06 11:33:27 +02:00
thatsIch	410d2f1e0d	final variables and parameters ... seeing some methods it does actually help to enforce the parameters	2015-09-26 21:08:18 +02:00
thatsIch	64ed05a1b4	Puts everywhere brackets	2015-04-29 18:38:24 +02:00
thatsIch	d34c988c88	Basic reformat, hit once, hope never again	2015-04-03 15:07:13 +02:00
yueh	9b7b0fc0fb	Organize imports	2014-12-29 21:59:05 +01:00
yueh	f471513bd0	Changed access to use this qualifier	2014-12-29 15:13:47 +01:00
thatsIch	7505f9b66a	Added copyright to all java files	2014-11-14 12:03:00 +01:00
thatsIch	474596f095	Make fields final if possible to ensure immutability	2014-09-30 09:52:57 +02:00
Andrew	8514e32f5f	Added missing @Override annotations with Eclipse	2014-09-28 11:34:00 -07:00
AlgorithmX2	386d18a059	Relocate Source to proper directory.	2014-09-23 19:26:27 -05:00

Renamed from client/gui/implementations/GuiPatternTerm.java (Browse further)