1704 Commits

Author	SHA1	Message	Date
bjorn	599fa7dd55	Fridge: minor refactoring.	2008-11-06 13:47:40 +00:00
bjorn	66d46369be	Fridge: allow clicks in addition to drag and drop. Don't remove magnets when dnd-ing.	2008-11-06 13:42:16 +00:00
bjorn	95e637b845	Use drag and drop in Fridge app.	2008-11-06 10:15:38 +00:00
bjorn	d0a3b7e78e	Brushed metal look for fridge app.	2008-11-05 21:03:23 +00:00
bjorn	a1c8dc8ece	Make fridge magnets look more like magnets.	2008-11-05 16:47:52 +00:00
bjorn	294309f2e0	GWT: big refactoring of the translator and fridge apps.	2008-11-05 16:36:52 +00:00
aarne	cfce955aa8	distinguished know_VS and know_V2 in Lexicon; patched Italian imperatives (not quite finished yet)	2008-11-05 10:22:09 +00:00
aarne	59e418f77b	URL for gwt in README corrected	2008-11-04 15:23:25 +00:00
bjorn	408d4122f6	Get Fridge to compile with changes in Translate.	2008-11-04 14:12:37 +00:00
bjorn	2a567a6891	Forgotten record in src/server/Makefile.	2008-11-04 13:57:27 +00:00
bjorn	9b4d4cc13f	Added GWT compile instructions to src/server/README.	2008-11-04 13:32:44 +00:00
bjorn	e4552a97db	GWT: changed input na doutput language boxes to not pretend that they allow multiple selections.	2008-11-04 10:44:23 +00:00
bjorn	76b8d37824	pgf-server: write stderr to pgf-error.log, since lighttpd closes stderr for fastcgi processes.	2008-11-04 09:28:21 +00:00
bjorn	1684db98ea	Use next-lib when building example PGFs in src/server	2008-11-04 09:10:50 +00:00
bjorn	75c5c52179	Added /random to pgf-server.	2008-11-04 09:09:22 +00:00
bjorn	8a4250c2f4	Fix GWT client-side completion caching bug. Typing a space and then a letter quickly would cause the first request to be cancelled, and the second would use the two steps old results, which didn't go past the space => 0 completions.	2008-11-03 21:07:53 +00:00
bjorn	df5e7b3363	Added first version of the fridge poetry gui	2008-11-03 16:43:47 +00:00
bjorn	12ecbdc89f	gf-server: complete noew sorts case-insensitive	2008-11-03 16:43:19 +00:00
bjorn	34868b04bb	GWT: Refactor TranslateApp to make the suggestion panel and the settings panel separate classes. This makes it possible to reuse them in mosg and fridge.	2008-11-03 14:42:49 +00:00
bjorn	6ebd80ba97	Include .gf file name in source parsing syntax error message.	2008-10-30 10:49:23 +00:00
bjorn	748b60eaee	GWT lib and translator: added support for multiple pgf files.	2008-10-30 09:19:58 +00:00
bjorn	3e40a907ca	gf-server: added a way to list the available pgf files	2008-10-29 20:45:18 +00:00
bjorn	681648fb05	Rename MainFastCGI.hs to PGFService.hs.	2008-10-29 19:49:38 +00:00
bringert	c40ca4b0c7	Some lighttpd config fixes for the gwt translator.	2008-10-29 14:45:15 +00:00
bjorn	70331e394b	GWT translator: fixed copy-paste bug where the from language was sent as both from and to language.	2008-10-29 14:30:20 +00:00
bringert	f360e136b9	Better way of building gf-gwt.jar.	2008-10-29 14:02:58 +00:00
bringert	277bcf0a35	GWT: Some changes to compilation scripts to run on linux.	2008-10-29 13:55:00 +00:00
krasimir	a977b48b1e	even more compact binary representation. saldo < 19MB	2008-10-28 16:54:46 +00:00
krasimir	0762bd40ea	Data.Binary should use Data.ByteString.copy when decoding ByteStrings	2008-10-28 16:43:00 +00:00
krasimir	44391a9125	remove some traces that I left by incident	2008-10-28 16:31:30 +00:00
krasimir	a35919542f	remove some redundant imports of GF.Text.UTF8	2008-10-28 15:47:04 +00:00
krasimir	5e23cece4b	forgot to add PGF.Binary	2008-10-28 15:40:10 +00:00
krasimir	e44448bad0	binary serialization for PGF	2008-10-28 13:57:10 +00:00
bjorn	d61f6f1085	GWT: better heuristics for when to ask the server for completions.	2008-10-28 12:59:00 +00:00
bjorn	7ef019b006	GWT completion: only return request.getLimit() results to the SuggestBox. Re-request completions from the server if there is only one completion.	2008-10-28 12:37:52 +00:00
bjorn	76931b40fb	Changed PGF.complete to include the given input if it can be parsed as a complete tree.	2008-10-28 12:28:46 +00:00
krasimir	8a4cb6ba1d	define Read and Show instances for Expr and Tree	2008-10-28 12:22:34 +00:00
bjorn	12a17a7e81	GWT: Hold on to the previous suggestions, and try filtering them before asking the server.	2008-10-27 21:51:54 +00:00
bjorn	938340aed3	GWT: added IterableJsArray.isEmpty().	2008-10-27 10:18:21 +00:00
aarne	cbb38747f8	missing case in PGF generation	2008-10-27 09:24:33 +00:00
krasimir	799c915170	fix typo	2008-10-25 20:44:04 +00:00
krasimir	c641cdedb9	Windows fix: the default coding isn't utf8 but the current system codepage. The se command changes the codepage as well as the coding	2008-10-25 20:26:48 +00:00
krasimir	96e39ced12	add cp1252. usefull for Swedish and German	2008-10-25 20:25:09 +00:00
krasimir	4fe931c67f	extend the cp1251 coding to cover all cyrillic letters	2008-10-25 20:22:06 +00:00
bjorn	93b4d6a398	GWT: hide stale suggestions.	2008-10-24 14:22:19 +00:00
bjorn	bc255b3a7f	GWT code import tweak.	2008-10-24 14:00:24 +00:00
bjorn	a984aaa9cb	More GWT refactoring.	2008-10-24 08:45:34 +00:00
bjorn	c02d577cde	Added Eclipse project stuff for the GWT library. Some refactoring of the GWT code.	2008-10-23 11:51:52 +00:00
bjorn	807a314063	Added PGF.parse method to GWT client.	2008-10-22 19:59:43 +00:00
bjorn	c205b867be	Some refactoring of the GWT translator.	2008-10-22 19:37:57 +00:00