1 |
|
2002-12-20 23:05 ljulliar |
2 |
|
|
3 |
|
* plugins/rubyide_fox_gui/fxscintilla/global_properties.rb : make |
4 |
|
default font size larger on Linux. (It's always smaller than |
5 |
|
Windows). Should probably go in a future yaml file when a |
6 |
|
preference dialog box will allow for font size configuration |
7 |
|
|
8 |
2002-12-20 22:47 ljulliar |
2002-12-20 22:47 ljulliar |
9 |
|
|
10 |
* plugins/rubyide_commands/core_commands.rb : remove spurious puts that was here for debugging purposes |
* plugins/rubyide_commands/core_commands.rb : remove spurious puts that was here for debugging purposes |