OK, that bug has been fixed in Ubuntu Gutsy. Many thanks, guys!
Firstly, I must mention that the option to choose between 12/24 hour of Gnome Panel's clock may be available only to some locale, for example, zh-CN.
Secondly, I was not complaining, though it seemed to be. I do understand the spirit of free software, and I submit patches for several open-source project written in Python. I'm happy to patch a program or fix a bug, if I have the ability. But I'm not actually a programmer, just an experienced user which is lack of many capabilities, including C/C++ programming skills, therefore I make suggestions and submit tickets of bugs in other time. And I do understand that "sit and wait" is not the right answer to a problem without comprehensive attention. (It spent half a year to finally fix the bug, didn't it?) So I provided a hacky yet feasible solution to the problem. That's it. Thank you.
OK, that bug has been fixed in Ubuntu Gutsy. Many thanks, guys!
Firstly, I must mention that the option to choose between 12/24 hour of Gnome Panel's clock may be available only to some locale, for example, zh-CN.
Secondly, I was not complaining, though it seemed to be. I do understand the spirit of free software, and I submit patches for several open-source project written in Python. I'm happy to patch a program or fix a bug, if I have the ability. But I'm not actually a programmer, just an experienced user which is lack of many capabilities, including C/C++ programming skills, therefore I make suggestions and submit tickets of bugs in other time. And I do understand that "sit and wait" is not the right answer to a problem without comprehensive attention. (It spent half a year to finally fix the bug, didn't it?) So I provided a hacky yet feasible solution to the problem. That's it. Thank you.