gregoa/zavai.git
12 years agoMoved polygen into misc/ menu
Enrico Zini [Thu, 13 Aug 2009 16:09:41 +0000 (17:09 +0100)]
Moved polygen into misc/ menu

12 years agoSeparate lines in a multiline grammar
Enrico Zini [Thu, 13 Aug 2009 16:09:27 +0000 (17:09 +0100)]
Separate lines in a multiline grammar

12 years agoAutodetect grammar type
Enrico Zini [Thu, 13 Aug 2009 16:09:01 +0000 (17:09 +0100)]
Autodetect grammar type

12 years agoTreat grammars differently according to what they generate
Enrico Zini [Thu, 13 Aug 2009 15:58:51 +0000 (16:58 +0100)]
Treat grammars differently according to what they generate

12 years agoShow polygen results in a clickable text area
Enrico Zini [Thu, 13 Aug 2009 15:33:48 +0000 (16:33 +0100)]
Show polygen results in a clickable text area

12 years agoRemoved debugging printf
Enrico Zini [Thu, 13 Aug 2009 15:33:12 +0000 (16:33 +0100)]
Removed debugging printf

12 years agoStarted polygen plugin
Enrico Zini [Thu, 13 Aug 2009 14:31:25 +0000 (15:31 +0100)]
Started polygen plugin

12 years agoRemoved some debugging prints and test code
Enrico Zini [Thu, 13 Aug 2009 13:32:45 +0000 (14:32 +0100)]
Removed some debugging prints and test code

12 years agoAdded script to generate a cache of polygen info
Enrico Zini [Thu, 13 Aug 2009 13:32:15 +0000 (14:32 +0100)]
Added script to generate a cache of polygen info

12 years agoNo power menu in the main menu
Enrico Zini [Wed, 12 Aug 2009 17:47:13 +0000 (18:47 +0100)]
No power menu in the main menu

12 years agoShutdown, reboot and suspend via frameworkd
Enrico Zini [Wed, 12 Aug 2009 17:43:13 +0000 (18:43 +0100)]
Shutdown, reboot and suspend via frameworkd

12 years agoAdded battery icon
Enrico Zini [Wed, 12 Aug 2009 16:34:07 +0000 (17:34 +0100)]
Added battery icon

12 years agoAdded battery icons
Enrico Zini [Wed, 12 Aug 2009 16:02:04 +0000 (17:02 +0100)]
Added battery icons

12 years agoPop up zavai if not visible, when hitting the power button
Enrico Zini [Wed, 12 Aug 2009 08:48:56 +0000 (09:48 +0100)]
Pop up zavai if not visible, when hitting the power button

12 years agoDon't push an applet twice
Enrico Zini [Wed, 12 Aug 2009 08:45:44 +0000 (09:45 +0100)]
Don't push an applet twice

12 years agoSecond attempt at locking the screen
Enrico Zini [Tue, 11 Aug 2009 21:39:12 +0000 (22:39 +0100)]
Second attempt at locking the screen

12 years agoFirst attempt at implementing screen lock
Enrico Zini [Tue, 11 Aug 2009 21:31:55 +0000 (22:31 +0100)]
First attempt at implementing screen lock

12 years agoMoved powerbutton UI in the right place
Enrico Zini [Tue, 11 Aug 2009 20:53:44 +0000 (21:53 +0100)]
Moved powerbutton UI in the right place

12 years agoLog when opening device
Enrico Zini [Tue, 11 Aug 2009 20:45:33 +0000 (21:45 +0100)]
Log when opening device

12 years agoAdded the power menu
Enrico Zini [Tue, 11 Aug 2009 20:37:28 +0000 (21:37 +0100)]
Added the power menu

12 years agoPower button event
Enrico Zini [Tue, 11 Aug 2009 20:17:55 +0000 (21:17 +0100)]
Power button event

12 years agoAccess linux/input.h via a vapi file
Enrico Zini [Tue, 11 Aug 2009 18:40:13 +0000 (19:40 +0100)]
Access linux/input.h via a vapi file

12 years agoCan now read from the input device
Enrico Zini [Tue, 11 Aug 2009 18:20:25 +0000 (19:20 +0100)]
Can now read from the input device

12 years agoStarted infrastructure to listen to button events
Enrico Zini [Sun, 9 Aug 2009 11:11:35 +0000 (12:11 +0100)]
Started infrastructure to listen to button events

12 years agoLay out launcher in a grid
Enrico Zini [Fri, 7 Aug 2009 11:00:48 +0000 (12:00 +0100)]
Lay out launcher in a grid

12 years agoRespawn when quit
Enrico Zini [Fri, 7 Aug 2009 09:43:28 +0000 (10:43 +0100)]
Respawn when quit

12 years agoNo need to be a desktop, really
Enrico Zini [Fri, 7 Aug 2009 09:39:05 +0000 (10:39 +0100)]
No need to be a desktop, really

12 years agoSet desktop hint
Enrico Zini [Fri, 7 Aug 2009 09:31:25 +0000 (10:31 +0100)]
Set desktop hint

12 years agoRemove %foo arguments
Enrico Zini [Mon, 3 Aug 2009 22:29:11 +0000 (23:29 +0100)]
Remove %foo arguments

12 years agoSkip non-desktop files
Enrico Zini [Mon, 3 Aug 2009 22:21:39 +0000 (23:21 +0100)]
Skip non-desktop files

12 years agoActually run the program
Enrico Zini [Mon, 3 Aug 2009 22:18:08 +0000 (23:18 +0100)]
Actually run the program

12 years agoStarted work on app launcher
Enrico Zini [Mon, 3 Aug 2009 22:03:24 +0000 (23:03 +0100)]
Started work on app launcher

12 years agoGet the home dir from the environment
Enrico Zini [Mon, 3 Aug 2009 22:02:35 +0000 (23:02 +0100)]
Get the home dir from the environment

12 years agoAdded sat-monitor python satellite monitor
Enrico Zini [Mon, 3 Aug 2009 18:43:53 +0000 (19:43 +0100)]
Added sat-monitor python satellite monitor

12 years agoRestore the original bit
Enrico Zini [Wed, 29 Jul 2009 20:56:50 +0000 (22:56 +0200)]
Restore the original bit

12 years agoHas vala fixed their rubbish?
Enrico Zini [Wed, 29 Jul 2009 20:50:22 +0000 (22:50 +0200)]
Has vala fixed their rubbish?

12 years agoMore debugging
Enrico Zini [Wed, 29 Jul 2009 20:36:03 +0000 (22:36 +0200)]
More debugging

12 years agoFirst attempt at satellite monitor
Enrico Zini [Wed, 29 Jul 2009 20:28:50 +0000 (22:28 +0200)]
First attempt at satellite monitor

12 years agoMore skip hints
Enrico Zini [Tue, 28 Jul 2009 18:44:59 +0000 (20:44 +0200)]
More skip hints

12 years agoSet zavai to not appear in pagers and taskbars
Enrico Zini [Tue, 28 Jul 2009 18:10:13 +0000 (20:10 +0200)]
Set zavai to not appear in pagers and taskbars

12 years agoMerge branch 'master' of ssh://ciapino/root/zavai
Enrico Zini [Tue, 28 Jul 2009 17:55:02 +0000 (19:55 +0200)]
Merge branch 'master' of ssh://ciapino/root/zavai

12 years agoAdded window list
Enrico Zini [Tue, 28 Jul 2009 17:54:33 +0000 (19:54 +0200)]
Added window list

12 years agoTried to set an alarm
Enrico Zini [Tue, 28 Jul 2009 00:13:52 +0000 (02:13 +0200)]
Tried to set an alarm

12 years agoRun the vala version
Enrico Zini [Mon, 27 Jul 2009 18:54:34 +0000 (20:54 +0200)]
Run the vala version

12 years agoAdded the close current app button
Enrico Zini [Mon, 27 Jul 2009 17:54:11 +0000 (19:54 +0200)]
Added the close current app button

12 years agoAdded zavai icons
Enrico Zini [Mon, 27 Jul 2009 17:42:07 +0000 (19:42 +0200)]
Added zavai icons

12 years agoAdded app_wm
Enrico Zini [Mon, 27 Jul 2009 17:20:23 +0000 (19:20 +0200)]
Added app_wm

12 years agoButton to toggle visibility
Enrico Zini [Mon, 27 Jul 2009 17:17:01 +0000 (19:17 +0200)]
Button to toggle visibility

12 years agoImplemented keyboard action and service
Enrico Zini [Wed, 22 Jul 2009 18:48:24 +0000 (20:48 +0200)]
Implemented keyboard action and service

12 years agoMore of keyboard
Enrico Zini [Wed, 22 Jul 2009 18:24:19 +0000 (20:24 +0200)]
More of keyboard

12 years agoStarted keyboard handling
Enrico Zini [Wed, 22 Jul 2009 17:19:10 +0000 (19:19 +0200)]
Started keyboard handling

12 years agoAdded target to test on ciapino
Enrico Zini [Wed, 22 Jul 2009 17:15:50 +0000 (19:15 +0200)]
Added target to test on ciapino

12 years agoTake icons from the right place
Enrico Zini [Wed, 22 Jul 2009 17:15:42 +0000 (19:15 +0200)]
Take icons from the right place

12 years agoAdded placeholder
Enrico Zini [Wed, 22 Jul 2009 16:48:55 +0000 (18:48 +0200)]
Added placeholder

12 years agoMoved icons in own dir
Enrico Zini [Wed, 22 Jul 2009 16:41:11 +0000 (18:41 +0200)]
Moved icons in own dir

12 years agoAutotoolised
Enrico Zini [Wed, 22 Jul 2009 16:40:07 +0000 (18:40 +0200)]
Autotoolised

12 years agoGPS status icon synchronised with menu entry
Enrico Zini [Wed, 22 Jul 2009 16:06:12 +0000 (18:06 +0200)]
GPS status icon synchronised with menu entry

12 years agoAdded GPS tray icon
Enrico Zini [Wed, 22 Jul 2009 15:45:38 +0000 (17:45 +0200)]
Added GPS tray icon

12 years agoAdded take waypoint butting and fixed several bugs
Enrico Zini [Wed, 22 Jul 2009 11:54:49 +0000 (13:54 +0200)]
Added take waypoint butting and fixed several bugs

12 years agoFound out how to use strftime
Enrico Zini [Wed, 22 Jul 2009 09:14:43 +0000 (11:14 +0200)]
Found out how to use strftime

12 years agoCleared up even more starting/stopping->requesting/releasing of services from menu
Enrico Zini [Tue, 21 Jul 2009 16:29:39 +0000 (18:29 +0200)]
Cleared up even more starting/stopping->requesting/releasing of services from menu

12 years agoClarified use of Services
Enrico Zini [Tue, 21 Jul 2009 16:20:03 +0000 (18:20 +0200)]
Clarified use of Services

12 years agoMake service a Gtk.ToggleAction
Enrico Zini [Tue, 21 Jul 2009 12:34:22 +0000 (14:34 +0200)]
Make service a Gtk.ToggleAction

12 years agoReadded GPX menu option
Enrico Zini [Tue, 21 Jul 2009 12:23:07 +0000 (14:23 +0200)]
Readded GPX menu option

12 years agoAlmost restored GPX service
Enrico Zini [Tue, 21 Jul 2009 12:21:11 +0000 (14:21 +0200)]
Almost restored GPX service

12 years agoDon't start GPS: not debugging that anymore
Enrico Zini [Tue, 21 Jul 2009 09:52:54 +0000 (10:52 +0100)]
Don't start GPS: not debugging that anymore

12 years agoAdded menu to keep the GPS on
Enrico Zini [Tue, 21 Jul 2009 09:50:56 +0000 (10:50 +0100)]
Added menu to keep the GPS on

12 years agoAdd support for toggle links
Enrico Zini [Tue, 21 Jul 2009 09:49:29 +0000 (10:49 +0100)]
Add support for toggle links

12 years agoFixed registration_order type
Enrico Zini [Tue, 21 Jul 2009 09:46:33 +0000 (10:46 +0100)]
Fixed registration_order type

12 years agoAvoid unnecessary signals
Enrico Zini [Tue, 21 Jul 2009 09:32:44 +0000 (10:32 +0100)]
Avoid unnecessary signals

12 years agoStarted to readd gps UIs
Enrico Zini [Tue, 21 Jul 2009 09:30:20 +0000 (10:30 +0100)]
Started to readd gps UIs

12 years agoDebugged menu workflow
Enrico Zini [Tue, 21 Jul 2009 09:20:56 +0000 (10:20 +0100)]
Debugged menu workflow

12 years agoBetter shape for the menu infrastructure
Enrico Zini [Mon, 20 Jul 2009 20:16:43 +0000 (21:16 +0100)]
Better shape for the menu infrastructure

12 years agoMore UI machinery
Enrico Zini [Mon, 20 Jul 2009 11:25:51 +0000 (12:25 +0100)]
More UI machinery

12 years agoRegistry used as singleton
Enrico Zini [Mon, 20 Jul 2009 10:45:02 +0000 (11:45 +0100)]
Registry used as singleton

12 years agoAdded support for applets
Enrico Zini [Sat, 18 Jul 2009 23:03:04 +0000 (00:03 +0100)]
Added support for applets

12 years agoAdded main window
Enrico Zini [Sat, 18 Jul 2009 21:10:47 +0000 (22:10 +0100)]
Added main window

12 years agoMore signal bits
Enrico Zini [Tue, 14 Jul 2009 22:19:25 +0000 (23:19 +0100)]
More signal bits

12 years agoMore signal bits
Enrico Zini [Tue, 14 Jul 2009 22:16:35 +0000 (23:16 +0100)]
More signal bits

12 years agoMore signal bits
Enrico Zini [Tue, 14 Jul 2009 22:13:07 +0000 (23:13 +0100)]
More signal bits

12 years agoMore signal bits
Enrico Zini [Tue, 14 Jul 2009 22:11:23 +0000 (23:11 +0100)]
More signal bits

12 years agoMore signal bits
Enrico Zini [Tue, 14 Jul 2009 22:08:06 +0000 (23:08 +0100)]
More signal bits

12 years agoMore signal bits
Enrico Zini [Tue, 14 Jul 2009 22:06:04 +0000 (23:06 +0100)]
More signal bits

12 years agoMore signal bits
Enrico Zini [Tue, 14 Jul 2009 21:53:34 +0000 (22:53 +0100)]
More signal bits

12 years agoMore signal bits
Enrico Zini [Tue, 14 Jul 2009 21:49:37 +0000 (22:49 +0100)]
More signal bits

12 years agoMore signal bits
Enrico Zini [Tue, 14 Jul 2009 21:47:21 +0000 (22:47 +0100)]
More signal bits

12 years agoMore signal bits
Enrico Zini [Tue, 14 Jul 2009 21:44:49 +0000 (22:44 +0100)]
More signal bits

12 years agoMore signal bits
Enrico Zini [Tue, 14 Jul 2009 21:41:35 +0000 (22:41 +0100)]
More signal bits

12 years agoMore signal bits
Enrico Zini [Tue, 14 Jul 2009 21:40:31 +0000 (22:40 +0100)]
More signal bits

12 years agoMore signal bits
Enrico Zini [Tue, 14 Jul 2009 21:37:31 +0000 (22:37 +0100)]
More signal bits

12 years agoMore signal bits
Enrico Zini [Tue, 14 Jul 2009 21:36:26 +0000 (22:36 +0100)]
More signal bits

12 years agoMore signal bits
Enrico Zini [Tue, 14 Jul 2009 21:35:16 +0000 (22:35 +0100)]
More signal bits

12 years agoMore signal bits
Enrico Zini [Tue, 14 Jul 2009 21:32:27 +0000 (22:32 +0100)]
More signal bits

12 years agoMore signal bits
Enrico Zini [Tue, 14 Jul 2009 21:30:09 +0000 (22:30 +0100)]
More signal bits

12 years agoMore signal bits
Enrico Zini [Tue, 14 Jul 2009 21:28:06 +0000 (22:28 +0100)]
More signal bits

12 years agoMore signal bits
Enrico Zini [Tue, 14 Jul 2009 21:23:36 +0000 (22:23 +0100)]
More signal bits

12 years agoMore signal bits
Enrico Zini [Tue, 14 Jul 2009 21:14:31 +0000 (22:14 +0100)]
More signal bits

12 years agoMore signal bits
Enrico Zini [Tue, 14 Jul 2009 20:52:12 +0000 (21:52 +0100)]
More signal bits

12 years agoMore signal bits
Enrico Zini [Tue, 14 Jul 2009 20:38:35 +0000 (21:38 +0100)]
More signal bits

12 years agoMore signal bits
Enrico Zini [Tue, 14 Jul 2009 20:30:16 +0000 (21:30 +0100)]
More signal bits