| 1 |
/* |
| 2 |
* JSampler - a java front-end for LinuxSampler |
| 3 |
* |
| 4 |
* Copyright (C) 2005-2009 Grigor Iliev <grigor@grigoriliev.com> |
| 5 |
* |
| 6 |
* This file is part of JSampler. |
| 7 |
* |
| 8 |
* JSampler is free software; you can redistribute it and/or modify |
| 9 |
* it under the terms of the GNU General Public License version 2 |
| 10 |
* as published by the Free Software Foundation. |
| 11 |
* |
| 12 |
* JSampler is distributed in the hope that it will be useful, |
| 13 |
* but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 14 |
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| 15 |
* GNU General Public License for more details. |
| 16 |
* |
| 17 |
* You should have received a copy of the GNU General Public License |
| 18 |
* along with JSampler; if not, write to the Free Software |
| 19 |
* Foundation, Inc., 59 Temple Place, Suite 330, Boston, |
| 20 |
* MA 02111-1307 USA |
| 21 |
*/ |
| 22 |
|
| 23 |
package org.jsampler.view.fantasia; |
| 24 |
|
| 25 |
import java.awt.Font; |
| 26 |
import java.awt.Insets; |
| 27 |
|
| 28 |
import java.util.Properties; |
| 29 |
import java.util.logging.Level; |
| 30 |
|
| 31 |
import javax.swing.ImageIcon; |
| 32 |
|
| 33 |
import org.jsampler.CC; |
| 34 |
import org.jsampler.HF; |
| 35 |
|
| 36 |
import org.linuxsampler.lscp.Parser; |
| 37 |
|
| 38 |
|
| 39 |
/** |
| 40 |
* This class contains all pixmap resources needed by <b>Fantasia</b> view. |
| 41 |
* @author Grigor Iliev |
| 42 |
*/ |
| 43 |
public class Res { |
| 44 |
|
| 45 |
/** Forbits the instantiation of this class. */ |
| 46 |
private Res() { } |
| 47 |
|
| 48 |
public static ImageIcon gfxFantasiaLogo; |
| 49 |
|
| 50 |
public final static ImageIcon gfxPowerOn |
| 51 |
= new ImageIcon(Res.class.getResource("res/gfx/power_on.png")); |
| 52 |
|
| 53 |
public final static ImageIcon gfxPowerOff |
| 54 |
= new ImageIcon(Res.class.getResource("res/gfx/power_off.png")); |
| 55 |
|
| 56 |
public final static ImageIcon gfxMuteOn |
| 57 |
= new ImageIcon(Res.class.getResource("res/gfx/btn_mute_on.png")); |
| 58 |
|
| 59 |
public final static ImageIcon gfxMuteOff |
| 60 |
= new ImageIcon(Res.class.getResource("res/gfx/btn_mute_off.png")); |
| 61 |
|
| 62 |
public final static ImageIcon gfxMuteSmallOn |
| 63 |
= new ImageIcon(Res.class.getResource("res/gfx/btn_mute_s_on.png")); |
| 64 |
|
| 65 |
public final static ImageIcon gfxMuteSmallOff |
| 66 |
= new ImageIcon(Res.class.getResource("res/gfx/btn_mute_s_off.png")); |
| 67 |
|
| 68 |
public final static ImageIcon gfxMuteSoloDisabled |
| 69 |
= new ImageIcon(Res.class.getResource("res/gfx/btn_mute_solo_disabled.png")); |
| 70 |
|
| 71 |
public final static ImageIcon gfxMutedBySolo |
| 72 |
= new ImageIcon(Res.class.getResource("res/gfx/btn_mute_off.png")); |
| 73 |
|
| 74 |
public final static ImageIcon gfxMutedBySoloSmall |
| 75 |
= new ImageIcon(Res.class.getResource("res/gfx/btn_mute_s_off.png")); |
| 76 |
|
| 77 |
public final static ImageIcon gfxSoloOn |
| 78 |
= new ImageIcon(Res.class.getResource("res/gfx/btn_solo_on.png")); |
| 79 |
|
| 80 |
public final static ImageIcon gfxSoloOff |
| 81 |
= new ImageIcon(Res.class.getResource("res/gfx/btn_mute_off.png")); |
| 82 |
|
| 83 |
public final static ImageIcon gfxSoloSmallOn |
| 84 |
= new ImageIcon(Res.class.getResource("res/gfx/btn_solo_s_on.png")); |
| 85 |
|
| 86 |
public final static ImageIcon gfxSoloSmallOff |
| 87 |
= new ImageIcon(Res.class.getResource("res/gfx/btn_solo_s_off.png")); |
| 88 |
|
| 89 |
public final static ImageIcon gfxMuteTitle |
| 90 |
= new ImageIcon(Res.class.getResource("res/gfx/title_mute.png")); |
| 91 |
|
| 92 |
public final static ImageIcon gfxSoloTitle |
| 93 |
= new ImageIcon(Res.class.getResource("res/gfx/title_solo.png")); |
| 94 |
|
| 95 |
public final static ImageIcon gfxVolumeTitle |
| 96 |
= new ImageIcon(Res.class.getResource("res/gfx/title_volume.png")); |
| 97 |
|
| 98 |
public final static ImageIcon gfxVolumeDial |
| 99 |
= new ImageIcon(Res.class.getResource("res/gfx/knob_volume.png")); |
| 100 |
|
| 101 |
public final static ImageIcon gfxOptionsTitle |
| 102 |
= new ImageIcon(Res.class.getResource("res/gfx/title_options.png")); |
| 103 |
|
| 104 |
public final static ImageIcon gfxOptionsOn |
| 105 |
= new ImageIcon(Res.class.getResource("res/gfx/btn_hide_channel_options.png")); |
| 106 |
|
| 107 |
public final static ImageIcon gfxOptionsOnRO |
| 108 |
= new ImageIcon(Res.class.getResource("res/gfx/btn_hide_channel_options_ro.png")); |
| 109 |
|
| 110 |
public final static ImageIcon gfxOptionsOff |
| 111 |
= new ImageIcon(Res.class.getResource("res/gfx/btn_show_channel_options.png")); |
| 112 |
|
| 113 |
public final static ImageIcon gfxOptionsOffRO |
| 114 |
= new ImageIcon(Res.class.getResource("res/gfx/btn_show_channel_options_ro.png")); |
| 115 |
|
| 116 |
public final static ImageIcon gfxFx |
| 117 |
= new ImageIcon(Res.class.getResource("res/gfx/btn_fx.png")); |
| 118 |
|
| 119 |
public final static ImageIcon gfxFxRO |
| 120 |
= new ImageIcon(Res.class.getResource("res/gfx/btn_fx_ro.png")); |
| 121 |
|
| 122 |
public final static ImageIcon gfxMidiInputTitle |
| 123 |
= new ImageIcon(Res.class.getResource("res/gfx/title_midi_input.png")); |
| 124 |
|
| 125 |
public final static ImageIcon gfxEngineTitle |
| 126 |
= new ImageIcon(Res.class.getResource("res/gfx/title_engine.png")); |
| 127 |
|
| 128 |
public final static ImageIcon gfxAudioOutputTitle |
| 129 |
= new ImageIcon(Res.class.getResource("res/gfx/title_audio_output.png")); |
| 130 |
|
| 131 |
public final static ImageIcon gfxInstrumentMapTitle |
| 132 |
= new ImageIcon(Res.class.getResource("res/gfx/title_midi_instrument_map.png")); |
| 133 |
|
| 134 |
public final static ImageIcon gfxChannel |
| 135 |
= new ImageIcon(Res.class.getResource("res/gfx/channel.png")); |
| 136 |
|
| 137 |
public final static ImageIcon gfxChannelScreen |
| 138 |
= new ImageIcon(Res.class.getResource("res/gfx/channel.screen.png")); |
| 139 |
|
| 140 |
public final static ImageIcon gfxHLine |
| 141 |
= new ImageIcon(Res.class.getResource("res/gfx/line_hor.png")); |
| 142 |
|
| 143 |
public final static ImageIcon gfxVLine |
| 144 |
= new ImageIcon(Res.class.getResource("res/gfx/line_vert.png")); |
| 145 |
|
| 146 |
public final static ImageIcon gfxChannelOptions |
| 147 |
= new ImageIcon(Res.class.getResource("res/gfx/channel.options.png")); |
| 148 |
|
| 149 |
public final static ImageIcon gfxCreateChannel |
| 150 |
= new ImageIcon(Res.class.getResource("res/gfx/create_channel.png")); |
| 151 |
|
| 152 |
public final static ImageIcon gfxTextField |
| 153 |
= new ImageIcon(Res.class.getResource("res/gfx/tf_bg.png")); |
| 154 |
|
| 155 |
public final static ImageIcon gfxCbLabelBg |
| 156 |
= new ImageIcon(Res.class.getResource("res/gfx/cb_label_bg.png")); |
| 157 |
|
| 158 |
public final static ImageIcon gfxCbArrow |
| 159 |
= new ImageIcon(Res.class.getResource("res/gfx/cb_arrow.png")); |
| 160 |
|
| 161 |
public final static ImageIcon gfxCbArrowDisabled |
| 162 |
= new ImageIcon(Res.class.getResource("res/gfx/cb_arrow_disabled.png")); |
| 163 |
|
| 164 |
public final static ImageIcon gfxCbArrowRO |
| 165 |
= new ImageIcon(Res.class.getResource("res/gfx/cb_arrow_ro.png")); |
| 166 |
|
| 167 |
public final static ImageIcon gfxPowerOn18 |
| 168 |
= new ImageIcon(Res.class.getResource("res/gfx/power_on18.png")); |
| 169 |
|
| 170 |
public final static ImageIcon gfxPowerOff18 |
| 171 |
= new ImageIcon(Res.class.getResource("res/gfx/power_off18.png")); |
| 172 |
|
| 173 |
public final static ImageIcon gfxDeviceBg |
| 174 |
= new ImageIcon(Res.class.getResource("res/gfx/device_bg.png")); |
| 175 |
|
| 176 |
public final static ImageIcon gfxRoundBg14 |
| 177 |
= new ImageIcon(Res.class.getResource("res/gfx/round_bg14.png")); |
| 178 |
public final static ImageIcon gfxRoundBg7 |
| 179 |
= new ImageIcon(Res.class.getResource("res/gfx/round_bg7.png")); |
| 180 |
public final static ImageIcon gfxMenuBarBg |
| 181 |
= new ImageIcon(Res.class.getResource("res/gfx/menubar_bg.png")); |
| 182 |
|
| 183 |
public final static ImageIcon gfxScreenBtnBg |
| 184 |
= new ImageIcon(Res.class.getResource("res/gfx/screen_btn_bg.png")); |
| 185 |
|
| 186 |
|
| 187 |
public final static ImageIcon gfxChannelsBg |
| 188 |
= new ImageIcon(Res.class.getResource("res/gfx/channels_bg.png")); |
| 189 |
|
| 190 |
public static ImageIcon gfxToolBar; |
| 191 |
public static Insets insetsToolBar; |
| 192 |
|
| 193 |
public final static ImageIcon gfxBorder |
| 194 |
= new ImageIcon(Res.class.getResource("res/gfx/border.png")); |
| 195 |
|
| 196 |
public final static ImageIcon gfxBtnCr |
| 197 |
= new ImageIcon(Res.class.getResource("res/gfx/btn_cr.png")); |
| 198 |
|
| 199 |
public final static ImageIcon gfxBtnCrRO |
| 200 |
= new ImageIcon(Res.class.getResource("res/gfx/btn_cr_ro.png")); |
| 201 |
|
| 202 |
public final static ImageIcon gfxBtnDecrease |
| 203 |
= new ImageIcon(Res.class.getResource("res/gfx/btn_decrease.png")); |
| 204 |
|
| 205 |
public final static ImageIcon gfxBtnDecreaseRO |
| 206 |
= new ImageIcon(Res.class.getResource("res/gfx/btn_decrease_ro.png")); |
| 207 |
|
| 208 |
public final static ImageIcon gfxBtnIncrease |
| 209 |
= new ImageIcon(Res.class.getResource("res/gfx/btn_increase.png")); |
| 210 |
|
| 211 |
public final static ImageIcon gfxBtnIncreaseRO |
| 212 |
= new ImageIcon(Res.class.getResource("res/gfx/btn_increase_ro.png")); |
| 213 |
|
| 214 |
public final static ImageIcon gfxBtnScrollLeft |
| 215 |
= new ImageIcon(Res.class.getResource("res/gfx/btn_scroll_left.png")); |
| 216 |
|
| 217 |
public final static ImageIcon gfxBtnScrollLeftRO |
| 218 |
= new ImageIcon(Res.class.getResource("res/gfx/btn_scroll_left_ro.png")); |
| 219 |
|
| 220 |
public final static ImageIcon gfxBtnScrollRight |
| 221 |
= new ImageIcon(Res.class.getResource("res/gfx/btn_scroll_right.png")); |
| 222 |
|
| 223 |
public final static ImageIcon gfxBtnScrollRightRO |
| 224 |
= new ImageIcon(Res.class.getResource("res/gfx/btn_scroll_right_ro.png")); |
| 225 |
|
| 226 |
public final static ImageIcon gfxJackSoket |
| 227 |
= new ImageIcon(Res.class.getResource("res/gfx/jack_socket.png")); |
| 228 |
|
| 229 |
|
| 230 |
public final static ImageIcon iconAppIcon |
| 231 |
= new ImageIcon(Res.class.getResource("res/icons/app_icon.png")); |
| 232 |
|
| 233 |
public final static ImageIcon iconArrowUp |
| 234 |
= new ImageIcon(Res.class.getResource("res/icons/arrow_up.png")); |
| 235 |
|
| 236 |
public final static ImageIcon iconArrowDown |
| 237 |
= new ImageIcon(Res.class.getResource("res/icons/arrow_down.png")); |
| 238 |
|
| 239 |
public final static ImageIcon iconEngine12 |
| 240 |
= new ImageIcon(Res.class.getResource("res/icons/engine12.png")); |
| 241 |
|
| 242 |
public final static ImageIcon iconVolume14 |
| 243 |
= new ImageIcon(Res.class.getResource("res/icons/volume14.png")); |
| 244 |
|
| 245 |
public final static ImageIcon iconNew16 |
| 246 |
= new ImageIcon(Res.class.getResource("res/icons/new16.png")); |
| 247 |
|
| 248 |
public final static ImageIcon iconEdit16 |
| 249 |
= new ImageIcon(Res.class.getResource("res/icons/edit16.png")); |
| 250 |
|
| 251 |
public final static ImageIcon iconDelete16 |
| 252 |
= new ImageIcon(Res.class.getResource("res/icons/delete16.png")); |
| 253 |
|
| 254 |
public final static ImageIcon iconBack16 |
| 255 |
= new ImageIcon(Res.class.getResource("res/icons/back16.png")); |
| 256 |
|
| 257 |
public final static ImageIcon iconNext16 |
| 258 |
= new ImageIcon(Res.class.getResource("res/icons/next16.png")); |
| 259 |
|
| 260 |
public final static ImageIcon iconUp16 |
| 261 |
= new ImageIcon(Res.class.getResource("res/icons/up16.png")); |
| 262 |
|
| 263 |
public final static ImageIcon iconBrowse16 |
| 264 |
= new ImageIcon(Res.class.getResource("res/icons/folder_open16.png")); |
| 265 |
|
| 266 |
public final static ImageIcon iconDb16 |
| 267 |
= new ImageIcon(Res.class.getResource("res/icons/collection16.png")); |
| 268 |
|
| 269 |
public final static ImageIcon iconFolder16 |
| 270 |
= new ImageIcon(Res.class.getResource("res/icons/folder16.png")); |
| 271 |
|
| 272 |
public final static ImageIcon iconFolderOpen16 |
| 273 |
= new ImageIcon(Res.class.getResource("res/icons/folder_open16.png")); |
| 274 |
|
| 275 |
public final static ImageIcon iconInstrument16 |
| 276 |
= new ImageIcon(Res.class.getResource("res/icons/instr16.png")); |
| 277 |
|
| 278 |
public final static ImageIcon iconReload16 |
| 279 |
= new ImageIcon(Res.class.getResource("res/icons/reload16.png")); |
| 280 |
|
| 281 |
public final static ImageIcon iconPreferences16 |
| 282 |
= new ImageIcon(Res.class.getResource("res/icons/preferences16.png")); |
| 283 |
|
| 284 |
public final static ImageIcon iconSampler16 |
| 285 |
= new ImageIcon(Res.class.getResource("res/icons/sampler16.png")); |
| 286 |
|
| 287 |
public final static ImageIcon iconAudioDevsOpen16 |
| 288 |
= new ImageIcon(Res.class.getResource("res/icons/au-devs-folder_open16.png")); |
| 289 |
|
| 290 |
public final static ImageIcon iconAudioDevsClose16 |
| 291 |
= new ImageIcon(Res.class.getResource("res/icons/au-devs-folder16.png")); |
| 292 |
|
| 293 |
public final static ImageIcon iconAudioDev16 |
| 294 |
= new ImageIcon(Res.class.getResource("res/icons/au-dev16.png")); |
| 295 |
|
| 296 |
public final static ImageIcon iconEffectsOpen16 |
| 297 |
= new ImageIcon(Res.class.getResource("res/icons/effects-folder_open16.png")); |
| 298 |
|
| 299 |
public final static ImageIcon iconEffectsClose16 |
| 300 |
= new ImageIcon(Res.class.getResource("res/icons/effects-folder16.png")); |
| 301 |
|
| 302 |
public final static ImageIcon iconEffect16 |
| 303 |
= new ImageIcon(Res.class.getResource("res/icons/effect16.png")); |
| 304 |
|
| 305 |
public final static ImageIcon iconEffectInstance16 |
| 306 |
= new ImageIcon(Res.class.getResource("res/icons/effect-instance16.png")); |
| 307 |
|
| 308 |
public final static ImageIcon iconEffectChain16 |
| 309 |
= new ImageIcon(Res.class.getResource("res/icons/effect-chain16.png")); |
| 310 |
|
| 311 |
public final static ImageIcon iconEffectChainsOpen16 |
| 312 |
= new ImageIcon(Res.class.getResource("res/icons/chains-folder_open16.png")); |
| 313 |
|
| 314 |
public final static ImageIcon iconEffectChainsClose16 |
| 315 |
= new ImageIcon(Res.class.getResource("res/icons/chains-folder16.png")); |
| 316 |
|
| 317 |
public final static ImageIcon iconVolume22 |
| 318 |
= new ImageIcon(Res.class.getResource("res/icons/volume22.png")); |
| 319 |
|
| 320 |
public final static ImageIcon iconFind22 |
| 321 |
= new ImageIcon(Res.class.getResource("res/icons/Find22.png")); |
| 322 |
|
| 323 |
public final static ImageIcon iconGoUp22 |
| 324 |
= new ImageIcon(Res.class.getResource("res/icons/GoUp22.png")); |
| 325 |
|
| 326 |
public final static ImageIcon iconGoBack22 |
| 327 |
= new ImageIcon(Res.class.getResource("res/icons/GoBack22.png")); |
| 328 |
|
| 329 |
public final static ImageIcon iconGoForward22 |
| 330 |
= new ImageIcon(Res.class.getResource("res/icons/GoForward22.png")); |
| 331 |
|
| 332 |
public final static ImageIcon iconFolderOpen22 |
| 333 |
= new ImageIcon(Res.class.getResource("res/icons/folder_open22.png")); |
| 334 |
|
| 335 |
public final static ImageIcon iconPreferences22 |
| 336 |
= new ImageIcon(Res.class.getResource("res/icons/Preferences22.png")); |
| 337 |
|
| 338 |
public final static ImageIcon iconReload22 |
| 339 |
= new ImageIcon(Res.class.getResource("res/icons/reload22.png")); |
| 340 |
|
| 341 |
public final static ImageIcon iconSamplerInfo32 |
| 342 |
= new ImageIcon(Res.class.getResource("res/icons/sampler_info32.png")); |
| 343 |
|
| 344 |
public final static ImageIcon iconOpen32 |
| 345 |
= new ImageIcon(Res.class.getResource("res/icons/open32.png")); |
| 346 |
|
| 347 |
public final static ImageIcon iconSave32 |
| 348 |
= new ImageIcon(Res.class.getResource("res/icons/save32.png")); |
| 349 |
|
| 350 |
public final static ImageIcon iconReload32 |
| 351 |
= new ImageIcon(Res.class.getResource("res/icons/reload32.png")); |
| 352 |
|
| 353 |
public final static ImageIcon iconReset32 |
| 354 |
= new ImageIcon(Res.class.getResource("res/icons/purge32.png")); |
| 355 |
|
| 356 |
public final static ImageIcon iconPreferences32 |
| 357 |
= new ImageIcon(Res.class.getResource("res/icons/preferences32.png")); |
| 358 |
|
| 359 |
public final static ImageIcon iconMidiKeyboard32 |
| 360 |
= new ImageIcon(Res.class.getResource("res/icons/midi_keyboard32.png")); |
| 361 |
|
| 362 |
public final static ImageIcon iconLSConsole32 |
| 363 |
= new ImageIcon(Res.class.getResource("res/icons/ls_console32.png")); |
| 364 |
|
| 365 |
public final static ImageIcon iconLSConsole |
| 366 |
= new ImageIcon(Res.class.getResource("res/icons/ls_console.png")); |
| 367 |
|
| 368 |
public final static ImageIcon iconDb32 |
| 369 |
= new ImageIcon(Res.class.getResource("res/icons/db32.png")); |
| 370 |
|
| 371 |
public final static ImageIcon iconWarning32 |
| 372 |
= new ImageIcon(Res.class.getResource("res/icons/warning32.png")); |
| 373 |
|
| 374 |
public final static ImageIcon iconQuestion32 |
| 375 |
= new ImageIcon(Res.class.getResource("res/icons/question32.png")); |
| 376 |
|
| 377 |
public final static ImageIcon iconLinuxSamplerLogo |
| 378 |
= new ImageIcon(Res.class.getResource("res/icons/LinuxSampler-logo.png")); |
| 379 |
|
| 380 |
public static Font fontScreen = null; |
| 381 |
public static Font fontScreenMono = null; |
| 382 |
|
| 383 |
|
| 384 |
static { |
| 385 |
try { |
| 386 |
fontScreen = Font.createFont ( |
| 387 |
Font.TRUETYPE_FONT, |
| 388 |
Res.class.getResourceAsStream("res/fonts/DejaVuLGCCondensedSansBold.ttf") |
| 389 |
); |
| 390 |
fontScreen = fontScreen.deriveFont(10.0f); |
| 391 |
|
| 392 |
fontScreenMono = Font.createFont ( |
| 393 |
Font.TRUETYPE_FONT, |
| 394 |
Res.class.getResourceAsStream("res/fonts/DejaVuLGCMonoSansBold.ttf") |
| 395 |
); |
| 396 |
fontScreenMono = fontScreenMono.deriveFont(10.0f); |
| 397 |
} catch(Exception e) { |
| 398 |
CC.getLogger().warning(HF.getErrorMessage(e)); |
| 399 |
} |
| 400 |
} |
| 401 |
|
| 402 |
protected static void |
| 403 |
loadTheme(String themeName) { |
| 404 |
try { |
| 405 |
Properties p = new Properties(); |
| 406 |
p.load(Res.class.getResourceAsStream("res/themes/themes.properties")); |
| 407 |
|
| 408 |
String path = p.getProperty(themeName); |
| 409 |
if(path == null) { |
| 410 |
String s = "Failed to load theme " + themeName; |
| 411 |
s += "! Falling back to the default theme..."; |
| 412 |
CC.getLogger().warning(s); |
| 413 |
path = p.getProperty("Graphite"); |
| 414 |
if(path == null) { |
| 415 |
CC.getLogger().warning("Failed to load the default theme!"); |
| 416 |
CC.cleanExit(); |
| 417 |
return; |
| 418 |
} |
| 419 |
} |
| 420 |
|
| 421 |
path = "res/" + path; |
| 422 |
if(path.charAt(path.length() - 1) != '/') path += "/"; |
| 423 |
path += "theme.properties"; |
| 424 |
p.load(Res.class.getResourceAsStream(path)); |
| 425 |
|
| 426 |
String s = "res/" + p.getProperty("FantasiaLogo.gfx"); |
| 427 |
gfxFantasiaLogo = new ImageIcon(Res.class.getResource(s)); |
| 428 |
|
| 429 |
s = "res/" + p.getProperty("StandardBar.gfx"); |
| 430 |
gfxToolBar = new ImageIcon(Res.class.getResource(s)); |
| 431 |
|
| 432 |
insetsToolBar = parseInsets(p.getProperty("StandardBar.insets")); |
| 433 |
} catch(Exception e) { |
| 434 |
CC.getLogger().log(Level.INFO, "Failed to load theme " + themeName, e); |
| 435 |
CC.cleanExit(); |
| 436 |
} |
| 437 |
} |
| 438 |
|
| 439 |
private static Insets |
| 440 |
parseInsets(String s) { |
| 441 |
Insets i = new Insets(0, 0, 0, 0); |
| 442 |
try { |
| 443 |
Integer[] list = Parser.parseIntList(s); |
| 444 |
if(list.length != 4) throw new Exception(); |
| 445 |
i.set(list[0], list[1], list[2], list[3]); |
| 446 |
} catch(Exception x) { |
| 447 |
CC.getLogger().warning("Failed to parse insets: " + s); |
| 448 |
} |
| 449 |
|
| 450 |
return i; |
| 451 |
} |
| 452 |
} |
Parent Directory
| 
Revision Log